Mathematical logic : A course with exercises
tarafından
Cori, Rene.
Başlık
:
Mathematical logic : A course with exercises
Yazar
:
Cori, Rene.
ISBN
:
9780198500490
9780198500506
Yayın Bilgileri
:
Oxford ; New York : Oxford University Press, 2000-2001.
Fiziksel Tanımlama
:
2 c.
İçerik
:
pt.1 Propositional calculus, Boolean algebras, predicate calculus, completeness theorems.- pt.2 Recursion theory, Gödel's theorems, set theory, model theory.
Konu Terimleri
:
MANTIK, SEMBOLİK VE MATEMATİKİ.
Logic, Symbolic and mathematical.
Yazar Ek Girişi
:
Lascar, Daniel, 1942- ort. yaz.
| 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/448188 | QA 9 C742513 2000 PT.1 | | İade Tarihi 09.02.2026 |
| Beytepe Kütüphanesi | Kitap | 7.2/12/448175 | QA 9 C742513 2000 PT.2 | | Beytepe Genel Koleksiyon |