TY  - BOOK
AU  - Andrews, Peter B.
TI  - Introduction to mathematical logic and type theory: To truth through proof
SN  - 0120585367
U1  - 511.3 
PY  - 1986///
CY  - Orlando
PB  - Academic Press
ER  -