Mathematical logic : A course with exercises
by
Cori, Rene.
Title
:
Mathematical logic : A course with exercises
Author
:
Cori, Rene.
ISBN
:
9780198500490
9780198500506
Publication Information
:
Oxford ; New York : Oxford University Press, 2000-2001.
Physical Description
:
2 c.
Contents
:
pt.1 Propositional calculus, Boolean algebras, predicate calculus, completeness theorems.- pt.2 Recursion theory, Gödel's theorems, set theory, model theory.
Subject Term
:
MANTIK, SEMBOLİK VE MATEMATİKİ.
Logic, Symbolic and mathematical.
Added Author
:
Lascar, Daniel, 1942- ort. yaz.
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Beytepe Library | Book | 7.2/12/448188 | QA 9 C742513 2000 PT.1 | | Beytepe Genel Koleksiyon |
Beytepe Library | Book | 7.2/12/448175 | QA 9 C742513 2000 PT.2 | | Beytepe Genel Koleksiyon |