TY  - BOOK
AU  - Andrews, Peter B. 
TI  - An introduction to mathematical logic and type theory: to truth through proof
SN  - 0120585367
U1  - 511.3 
PY  - 1986///
CY  - Orlando
PB  - Academic Press
KW  - Logic, Symbolic And Mathematical
KW  - Type Theory
ER  -