Mathematical logic : a course with exercises
By: Cori, Rene.
Material type:
BookPublisher: Oxford Oxford University Press 2001Description: 331 p. index 23 cm.ISBN: 9780198500483.Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3
| Item type | Current location | Call number | Vol info | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| Books | 511.3 COR (Browse shelf) | Part 1. Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems | Available | 006612 | ||
| Books | 511.3 COR (Browse shelf) | Part 2. Recursion Theory, Godel's Theorems, Set Theory, Model Theory | Available | 006613 |
There are no comments for this item.