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 |
511.3 COH Introduction to computer theory | 511.3 COO New computational paradigms : changing conceptions of what is computable | 511.3 COR Mathematical logic : a course with exercises | 511.3 COR Mathematical logic : a course with exercises | 511.3 CUM Appalachian set theory : 2006-2012 | 511.3 CUP Nuts and bolts of proofs | 511.3 DAL Logic and structure |
There are no comments for this item.