Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 HEL (Browse shelf) | Available | 025269 |
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 | 511.3 HIL A First Journey through Logic | 511.3 HIN Principles of mathematics revisited |
There are no comments for this item.