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.
Added Author:
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | Book | 7.2/12/448188 | QA 9 C742513 2000 PT.1 | Searching... | Searching... |
Searching... | Book | 7.2/12/448175 | QA 9 C742513 2000 PT.2 | Searching... | Searching... |