Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel.
Langue : français.Pays : Pays-Bas.Publication : Amsterdam : North-Holland, 1952.Description : VIII-117 p. ; 22 cm.Collection: Studies in logic and the foundations of mathematics., Sujet - Nom commun: LogiqueType de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres |
---|---|---|---|---|---|
Monographie | IREM P7 | 05 MOS 64 (Parcourir l'étagère(Ouvrir ci-dessous)) | Exclu du prêt | 1931 | |
Monographie | IREM P7 | 05 MOS 64 a (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 1931-a |
Il n'y a pas de commentaire pour ce titre.