An introduction to mathematical logic and type theory : to truth through proof / by Peter B. Andrews.
By: Andrews, P. B. (Peter Bruce).
Material type: TextSeries: Applied logic series ; v. 27. Publisher: Dordrecht ; Boston : Kluwer Academic Publishers, 2002Edition: 2nd ed.Description: xviii, 390 p. ill. ; 25 cm.ISBN: 1402007639 (alk. paper).Subject(s): Logic, Symbolic and mathematical | Type theoryDDC classification: 511.3Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | Chennai Mathematical Institute | 511.3 AND (Browse shelf) | Lost | 5147 |
Total holds: 0
Includes bibliographical references (p. 371-380) and index.