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.
Yazar Ek Girişi:
Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | Kitap | 7.2/12/448188 | QA 9 C742513 2000 PT.1 | Arıyor... | Arıyor... |
Arıyor... | Kitap | 7.2/12/448175 | QA 9 C742513 2000 PT.2 | Arıyor... | Arıyor... |