# An introduction to mathematical logic and type theory : to truth through proof / by Peter B. Andrews.

Book
(2002.)

**Description:**xviii, 390 pages : illustrations ; 25 cm.

**Publisher:**Dordrecht ; Kluwer Academic Publishers, 2002.

1 of 1 copy available at NOBLE (All Libraries).

1 of 1 copy available at Gordon College. (Show all copies)

1 of 1 copy available at Gordon College. (Show all copies)

0 current holds with 1 total copy.

Library | Location | Call Number | Status | Due Date |
---|---|---|---|---|

Gordon College | Stack Level 5 | QA 9 .A638 2002 (Text to Phone) | Available | - |