Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Short Loan | 511.3 BEN (Browse shelf) | Available | 013423 | ||
Short Loan | 511.3 BEN (Browse shelf) | Available | 006042 |
511.3 BEL Higher-order logic and type theory | 511.3 BEN Basic category theory for computer scientists | 511.3 BEN Mathematical logic for computer science | 511.3 BEN Mathematical logic for computer science | 511.3 BEN Moment of Proof | 511.3 BEN Mathematical logic for computer science | 511.3 BEN Mathematical logic for computer science |
There are no comments for this item.