Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 BLO (Browse shelf) | Available | 003796 |
511.3 BEN Mathematical logic for computer science | 511.3 BLA Modal logic | 511.3 BLA Modal logic | 511.3 BLO Proofs and Fundamentals | 511.3 BLO Proofs and fundamentals : a first course in abstract mathematics | 511.3 BLU Complexity and real computation | 511.3 BOO Computability and logic |
There are no comments for this item.