Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
tarafından
Mostowski, Andrzej
Başlık
:
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Yazar
:
Mostowski, Andrzej
Yayın Bilgileri
:
Amsterdam : North-Holland, 1964,c1952.
Fiziksel Tanımlama
:
117 s.
Konu Ek Girişi
:
GÖDEL, KURT.
Konu Terimleri
:
ANLAMBİLİM (FELSEFE).
MANTIK, SEMBOLİK VE MATEMATİKİ.
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Beytepe Kütüphanesi | Kitap | 7.2/12/465530 | BC 135 M6 1952 | | Beytepe Genel Koleksiyon |