Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 SUP (Browse shelf) | Available | 028700 |
511.3 STI Reverse mathematics : proofs from the inside out | 511.3 SUD Languages and machines : an introduction to the theory of computer science | 511.3 SUD Languages and Machines | 511.3 SUP Axiomatic set theory | 511.3 TAY Introduction to mathematics : number, space, and structure | 511.3 TOF Cellular automata machines : a new environment for modeling | 511.3 TOU Mathematical logic |
There are no comments for this item.