Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | 511.3 GRI (Browse shelf(Opens below)) | Available | 469886 |
No cover image available | ||||||||
511.3 GOO Lectures on petri nets : advances in Petri nets | 511.3 GOU Proof theory and automated deduction | 511.3 GRA George Boole : selected manuscripts on logic and its philosophy | 511.3 GRI New constructions in cellular automata | 511.3 HAM Logic for mathematicians | 511.3 HAR Algebraic model theory | 511.3 HEI Proof theory of modal logic |
Includes bibliographical references and index
There are no comments on this title.