- Bestand PAKN, GK Georg Kreisel
Vollansicht Verzeichnungseinheit GK 8-2-1
| Signatur: | GK 8-2-1 |
| Titel: | The diagonal method in formalized arithmetic |
| Laufzeit: | 1953 |
| Enthält: | eine Kopie aus: British Journal for the Philosophy of Science 3 (1953). Die Rezension bezieht sich auf A. Mostowski, Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel, Amsterdam 1952 |
| Umfang: | 11 Bl. |
| Bestellsignatur: | PAKN, GK (Georg Kreisel), GK 8-2-1 |