TY - BOOK AU - Deaño, Alfredo TI - Introducción a la lógica formal SN - 8420680117 AV - BC 135 D336 PY - 1978/// CY - Madrid PB - Alianza KW - Lógica simbólica y matemática ER -