TY - BOOK AU - Seiffert,Helmut AU - Diorki TI - Introduccion a la logica AV - BC114 .S458 PY - 1977/// CY - Barcelona PB - Herder KW - Logic KW - Local KW - Logic, Symbolic and mathematical N1 - Translated from Einfuhrung in die Logik; Includes bibliography ER -