TY - BOOK AU - Bochenski, Innocentius M TI - Historia de la lógica formal AV - BC 28 B645 PY - 1967/// CY - Madrid PB - Gredos KW - Lógica N1 - Traducción de Formale logik ER -