Titre :	Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Type de document :	texte imprimé
Auteurs :	Mostowskii, A.
Editeur :	Amtsterdam : North-Holland Publishing Company
Année de publication :	1964
Collection :	Studies in Logic and the Foundations of Mathematics
Importance :	117 p.
Langues :	Anglais
Mots-clés :	foundations of mathematics  philosophy
Index. décimale :	03C Monographie

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel [texte imprimé] / Mostowskii, A. . - Amtsterdam : North-Holland Publishing Company, 1964 . - 117 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais

Mots-clés :	foundations of mathematics  philosophy
Index. décimale :	03C Monographie