Sentences undecidable in formalized arithmetic / Mostowskii, A.

Public ISBD 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4502	03C90	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

---

page 1/1