TY  - BOOK
AU  - Deaño, Alfredo
TI  - Introducción a la lógica formal
AV  - BC 135 D335
PY  - 1974///
CY  - Madrid
PB  - Alianza
KW  - Lógica simbólica y matemática
N1  - Contenido: v.1. La lógica de enunciados
ER  -