TY  - BOOK
AU  - Andrews, Peter, B.
TI  - Introduction to mathematical logic and type theory: to truth through proof
T2  - Computer science and applied mathematics
U1  - 511.3, 
PY  - 1986///
CY  - New York
PB  - Academic Press
ER  -