Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Enregistré dans:
Détails bibliographiques
Auteur principal : Mostowski Andrzej (Auteur)
Format : Livre
Langue : anglais
Titre complet : Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Andrzej Mostowski
Publié : Amsterdam : North-Holland Pub. Co. , 1964
Description matérielle : 1 vol. (VIII-117 p.)
Collection : Studies in logic and the foundations of mathematics
Sujets :
Logique mathématique

BU Censive

Informations d'exemplaires de BU Censive
‌ Cote Prêt Statut
Bât. Censive, 1er étage, salle 111 L 1772 Empruntable Disponible

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 03C90 Prêt sans prolongation Disponible