Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | 511.3 PRE (Browse shelf(Opens below)) | Available | 98227 |
511.3 PIE The science of logic | 511.3 POP First steps in modal logic | 511.3 POP First steps in modal logic | 511.3 PRE Purity, spectra and localisation | 511.3 PRI An introduction to non-classical logic : from if to is | 511.3 PRI An introduction to non-classical logic : from if to is | 511.3 PYM The semantics and proof theory of the logic of bunched implications |
Includes bibliographical references and index
There are no comments on this title.