Subsystems of second order arithmetic /
Na minha lista:
Principais autores: | Simpson, Stephen G., Association for Symbolic Logic. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/185426 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Beginning logic /
por: Lemmon, E. J.
Publicado em: (2022) -
Predicate calculus and program semantics /
por: Dijkstra, Edsger Wybe., et al.
Publicado em: (2022) -
The logic book /
por: Bergmann, Merrie, et al.
Publicado em: (2022) -
A second course in calculus /
por: Lang, Serge,
Publicado em: (2022) -
Sujeito : da sintaxe ao discurso /
por: Pontes, Eunice,
Publicado em: (2022)