Sentences undecidable in formalized arithmetic (notice n° 2112)
[ vue normale ]
| 099 ## - Informations locales | |
|---|---|
| Type de document | Monographie |
| 100 ## - Données générales de traitement | |
| données générales de traitement | 20170516 frey50 |
| 101 0# - Langue | |
| langue du document | français |
| 102 ## - Pays de publication ou de production | |
| pays de publication | Pays-Bas |
| 200 1# - Titre | |
| titre propre | Sentences undecidable in formalized arithmetic |
| complément du titre | an exposition of the theory of Kurt Gödel. |
| 210 ## - Editeur | |
| lieu de publication | Amsterdam |
| nom de l'éditeur | North-Holland |
| date de publication | 1952. |
| 215 ## - Description | |
| Importance matérielle | VIII-117 p. |
| format | 22 cm. |
| 225 1# - collection | |
| titre de la collection | Studies in logic and the foundations of mathematics. |
| numérotation du volume | |
| 606 ## - sujets | |
| sujet | Logique |
| 700 #1 - Auteur | |
| auteur | Mostowski |
| partie du nom autre que l'élément d'entrée | Andrzej. |
| Abîmé | Perdu ? | Retiré de la circulation | Date de création | Site Propriétaire | Site Dépositaire | Code barre | cote | Statut |
|---|---|---|---|---|---|---|---|---|
| 16/05/2017 | IREM P7 | IREM P7 | 1931 | 05 MOS 64 | Exclu du prêt | |||
| 16/05/2017 | IREM P7 | IREM P7 | 1931-a | 05 MOS 64 a | Empruntable |