TY  - BOOK
TI  - An introduction to mathematical logic and type theory: to truth through proof
SN  - 9781402007637
U1  - 510 
PY  - 2002///
CY  - Dordrecht
PB  - Kluwer Academic Publishers
ER  -