Introduction to Mathematical Structures and Proofs
By: Gerstein, Larry J.
Material type:
BookPublisher: New York: Springer-Verlag, 1996Description: 350 p.; Index.: 23 cm.ISBN: 9780763702038 .Subject(s): Logic, Symbolic and Mathematical | Functions | Logic | Number Theory | SetsDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 GER (Browse shelf) | Available | 002916 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 GAB What is a logical system? | 511.3 GAB Interpolation and definability : modal and intuitionistic logics | 511.3 GEN Godel's theorem simplified | 511.3 GER Introduction to Mathematical Structures and Proofs | 511.3 GOL Incompleteness Phenomenon | 511.3 GOL Propositional and predicate calculus : a model of argument | 511.3 GOL Proof and other dilemmas : mathematics and philosophy |
There are no comments for this item.