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: Logique| Type 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 |
Parcourir IREM P7 les étagères Fermer l'étagère (Fermer la navigation sur l'étagère)
| 05 MEN 66 Introduction to mathematical logic. | 05 MER 14 Les raisonnements Mathématiques | 05 MOR 63 Studies in model theory. | 05 MOS 64 Sentences undecidable in formalized arithmetic | 05 MOS 64 a Sentences undecidable in formalized arithmetic | 05 MYX 73 Modèles finis | 05 MYX 73 a Modèles finis |
Il n'y a pas de commentaire pour ce titre.