Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 GRE (Browse shelf) | Available | 018673 | ||
Books | 005.1 GRE (Browse shelf) | Available | 018382 |
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 | 511.3 HAL Naive Set Theory |
There are no comments for this item.