Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 DSO (Browse shelf) | Checked out | 16/12/2024 | 028611 |
511.3 DAV Computability, complexity and language : fundamentals of theoretical computer science | 511.3 DAV Mathematics and common sense : a case of creative tension | 511.3 DOW Algorithmic randomness and complexity | 511.3 DSO Modern applications of automata theory | 511.3 EBB Mathematical logic | 511.3 EBB Mathematical Logic | 511.3 END Mathematical introduction to logic |
There are no comments for this item.