Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | 511.3 HEI (Browse shelf(Opens below)) | Available | 211377 |
No cover image available | No cover image available | No cover image available | ||||||
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 | 511.3 HEN Proof theory : history and philosophical significance | 511.3 HIN The principles of mathematics revisited | 511.3 HIN The principles of mathematics revisited |
Proceedings of a workshop held at the University of Hamburg, Nov. 19-20, 1993. Includes bibliographical references and index
There are no comments on this title.