TY - BOOK AU - Seiffert, Helmut TI - Introducción a la lógica: propedéutica lógica y lógica formal AV - BC 114 S458 PY - 1977/// CY - Barcelona PB - Herder KW - Lógica KW - Lógica simbólica y matemática ER -