Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | 511.3 PRI (Browse shelf(Opens below)) | Available | 105053 | ||
Anna Centenary Library | 511.3 PRI (Browse shelf(Opens below)) | Available | 247077 |
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 | 511.3 RAS Computational Theory: Problems&Solutions |
Includes bibliographical references (p. 587-602) and index
There are no comments on this title.