Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 KLE (Browse shelf) | Checked out | 16/12/2024 | 025443 |
511.3 KEL Essence of Logic | 511.3 KEL Essence of Logic | 511.3 KEL Essence of Logic | 511.3 KLE Mathematical logic | 511.3 KLU Abstract computing machines : a lambda calculus perspective | 511.3 KOZ Automata and computability | 511.3 LAK Proofs and refutations: The logic of mathematical discovery |
There are no comments for this item.