Gödel's proof / Ernest Nagel, James R. Newman
Main Author Nagel, Ernest Coauthor Newman, James R., co-aut. Uniform title Godel's proof : Language Inglês. Edition 1ª ed., 9ª reimp. Publication Nova Iorque : New Yok University Press, 1974Description 118 p. Subjects - Personal name Gödel, Kurt, 1906-1978 Hilbert, David, 1862-1943 Russell, Bertrand, 1872-1970 Subjects Lógica matemática
Filosofia analítica
Aritmética
Dedução
Geometria Euclideana
Método axiomático
Consistência
Lógica formal
Teorema da incompletude de Gödel
| Item type | Library | Location | Form | Call number | Status | Direct Acess | Date due | Fund | Barcode |
|---|---|---|---|---|---|---|---|---|---|
| Book | Biblioteca Vitorino Magalhães Godinho | Sala de Leitura | CHAM FGOD2 | Available | 06304CHAM |
1ª edição, 1ª impressão: 1958
There are no comments for this item.