TY  - BOOK
AU  - 
TI  - Introducción a la lógica formal
AV  - BC 135 D284 1974
PY  - 1974///]
CY  - [Madrid
PB  - Alianza Editorial
KW  - Logic
N1  - v. 1. La lógica de enunciados.--v. 2. La lógica de predicados
ER  -