TY  - BOOK
TI  - Introducción al simbolismo lógico
U1  - 511.3 
PY  - 1987///
ER  -