TY  - BOOK
AU  - Andrews,P.B.
TI  - An introduction to mathematical logic and type theory: To truth through proof 
SN  - 0120585367
AV  - QA9 A53
PY  - 1986///
CY  - Orlando, Florida
PB  - Academic
KW  - Lógica simbólica y matemática
ER  -