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