Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 CAM (Browse shelf) | Available | 004000 |
511.3 BRI Computability : a mathematical sketchbook | 511.3 BUR Logic for mathematics and computer science | 511.3 BUR Logic for mathematics and computer science | 511.3 CAM Combinatorics | 511.3 CAR Analysis and synthesis of logics : how to cut and paste reasoning systems | 511.3 CAU Logic, sets, and recursion (Supplement) | 511.3 CAU Logic, sets, and recursion (Supplement) |
There are no comments for this item.