Propositional and predicate calculus : a model of argument
By: Goldrei, Derek.
Material type:
BookPublisher: New York: Springer, 2005Description: 314 p.; ill.: 25 cm.ISBN: 1852339217 .Subject(s): Predicate calculus -- Problems, exercises, etc | Propositional calculus -- Problems, exercises, etcDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 GOL (Browse shelf) | Available | 013922 |
Browsing DAIICT Shelves Close shelf browser
| 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 | 511.3 GRE Mathematics for the analysis of algorithms | 511.3 HAJ Metamathematics of fuzzy logic |
There are no comments for this item.