TY  - BOOK
AU  - Andrews Peter B
TI  - An introduction to mathematical logic & type theory: to truth through proof
U1  - 510.6424 AN-I 
PY  - 2001///
CY  - New york
PB  - Kluwer Acadmic
KW  - Mathematical logic
ER  -