A course in mathematical logic by J. L. Bell and M. Machover
By: Bell, J. L. (John Lane).
Contributor(s): Machover, Mosh�e.
Material type: BookPublisher: Amsterdam North-Holland Pub. Co. 1977Description: xviii, 599 p. 23 cm.Subject(s): Logic, Symbolic and mathematicalDDC classification: 511Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Books | Matheson Library | Matheson Library | Main Collection | Main Collection | 511.3 B433c (Browse shelf) | Available | 049346 |
Browsing Matheson Library Shelves , Shelving location: Main Collection , Collection code: Main Collection Close shelf browser
No cover image available | No cover image available | No cover image available | No cover image available | |||||
511.3 A394 Algebraic and structural automata theory / | 511.3 A568i An introduction to mathematical logic and type theory : | 511.3 B248L 1984 The lambda calculus: | 511.3 B433c A course in mathematical logic | 511.3 B766 Theory of sets / | 511.3 B942c The computer modelling of mathematical reasoning | 511.3 C967 Mathematics and logic for digital devices / |
0720428440
There are no comments for this item.