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 | - |