Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 GOL (Browse shelf) | Available | 029116 |
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 | 511.3 HAL Logic as algebra |
There are no comments for this item.