Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel [monographie] |
| Auteur(s): | Mostowski, Andrzej (1913-1975) |
| Langue: | anglais |
| Collection: | Studies in logic and the foundations of mathematics |
| Editeur, date d'édition: | North Holland Publishing Company, 1957 |
| Ville(s) d'édition: | Amsterdam (NL) |
| ISSN: | 0049-237X |
| Classification MSC: | 02.0X |
| Notes: | viii ; appendix pp. 103-115 ; bibliogr. pp. 116-117 ; 21 cm ; 117 p. |
| Thèmes: | theoreme de godel, arithmetique, arithmetic |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 MOS 57 | Disponible |