TY - GEN AU - Bochenski, Innocentius M TI - Historia de la lógica formal / PY - 1966/// CY - madrid PB - Gredos KW - LOGICA ER -