Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | 511.3 HOU (Browse shelf(Opens below)) | Available | 672102 |
No cover image available | ||||||||
511.3 HOD Model theory | 511.3 HOD A shorter model theory | 511.3 HOR The Metaphysics and Mathematics of Arbitrary Objects | 511.3 HOU Fundamentals of Logic and Computation | 511.3 INC Conceptions of Set and the Foundations of Mathematics | 511.3 J.E introduction to Automata Theory,Languages and Computations | 511.3 JAC Categorical logic and type theory |
There are no comments on this title.