Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 DAV (Browse shelf) | Available | 019022 |
511.3 CUP Nuts and bolts of proofs | 511.3 DAL Logic and structure | 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 |
There are no comments for this item.