Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 BLU (Browse shelf) | Available | 010207 |
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 | 511.3 BRA Mathematics of preference, choice and order : essays in honor of Peter C. Fishburn | 511.3 BRA Hybrid logic and its proof-theory |
There are no comments for this item.