Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 HAL (Browse shelf) | Available | 002775 |
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 | 511.3 HEI From Frege to Godel | 511.3 HEL Diamond : a paradox logic | 511.3 HER Universal turing machine : a half-century survey |
There are no comments for this item.