Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | 511.3 LEW (Browse shelf(Opens below)) | Available | 326021 |
511.3 LAK Proofs and refutations : the logic of mathematical discovery | 511.3 LAS Logic and complexity | 511.3 LEM Beginning logic | 511.3 LEW Elements of the theory of computation | 511.3 LIP Schaums Outline of Set Theory and Related topics 2Ed (Pb 2020) | 511.3 LIP Schaums Outline of Set Theory and Related topics 2Ed (Pb 2020) | 511.3 MAC Elementary categories, elementary toposes |
Includes bibliographical references and index
There are no comments on this title.