Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Andrzej Mostowski
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Studies in logic and the foundations of mathematicsPublisher: Amsterdam : North-Holland Publ., 1957Edition: 2. printDescription: VIII, 117 SSubject(s): RVK: RVK: SK 130Action note:- 2
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Grundl./Logik / Mos | Available | 09036124870 |
Total holds: 0
Archivierung prüfen 20200919 DE-640 2 pdager