TY  - BOOK
AU  - 
TI  - Lógica formal
AV  - BC59 .E82 1986
PY  - 1983///
CY  - Monterrey, N.L. 
PB  - UDEM 
KW  - Lógica
ER  -