Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 HIN (Browse shelf) | Available | 014105 |
511.3 HER Universal turing machine : a half-century survey | 511.3 HIL A First Journey through Logic | 511.3 HIN Principles of mathematics revisited | 511.3 HIN Fundamentals of mathematical logic | 511.3 HOD Shorter model theory | 511.3 HOP Introduction to automata theory, languages, and computation | 511.3 HOP Introduction to automata theory, languages and computation |
There are no comments for this item.