TY - BOOK AU - Bochenski,I.M. TI - Historia de la lógica formal PY - 1956/// CY - Madrid PB - Gredos, S.A. KW - LOGICA FORMAL KW - LEMB KW - LOGICA ER -