Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Format: | Livre papier |
| Sprog: | Anglais |
| Udgivet: |
Amsterdam :
North-Holland Pub. Co.
1964.
|
| Serier: | Studies in logic and the foundations of mathematics
|
| Fag: | |
| Autres localisations: | Voir dans le Sudoc |
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| Kommentarer: |
A demander à la BU Sciences |
|---|
| Sted | Klassifikationsnummer | Type de prêt | Status | |
|---|---|---|---|---|
| Salle de lecture | 5619 MOS | Tilgængelig | ||
| Salle de lecture | 5611 MOS | Tilgængelig |