Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | 511.3 AWA (Browse shelf(Opens below)) | Available | 693792 | ||
Anna Centenary Library | 511.3 AWA (Browse shelf(Opens below)) | Available | 693793 |
511.3 ARK Nonstandard analysis : theory and applications | 511.3 ASH Computable structures and the hyperarithmetical hierarchy | 511.3 AWA Discrete Mathematics And Logic Design | 511.3 AWA Discrete Mathematics And Logic Design | 511.3 BAJ An Invitation to Abstract Mathematics | 511.3 BAS Labelled deduction | 511.3 BEL Higher-Order Logic and Type Theory |
There are no comments on this title.