An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews.
By: Andrews, P. B. (Peter Bruce).
Material type: BookSeries: Computer science and applied mathematics. Publisher: Orlando : Academic Press, 1986Description: xv, 304 p.ISBN: 0120585359 (alk. paper); 0120585367 (pbk. : alk. paper).Subject(s): Logic, Symbolic and mathematical | Type theoryDDC classification: 511.3�19Item 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 A568i (Browse shelf) | Available | 065438 |
There are no comments for this item.