Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | 512.62 HOL (Browse shelf(Opens below)) | Available | 193113 |
512.62 AWO Category theory | 512.62 BEL Toposes and local set theories : an introduction | 512.62 GOL Topoi : the categorical analysis of logic | 512.62 HOL Triangulated categories | 512.62 LAN Introduction to Infinity-Categories | 512.62 LUR Higher topos theory | 512.620285 FOU Applications of categories in computer science : proceedings of the LMS symposium, Durham 1991 |
Includes bibliographical references
There are no comments on this title.