TY - GEN AU - Bochenski, I. M. TI - Historia de la lógica formal SN - 84-249-2153-4 U1 - 160 PY - 1985/// CY - Madrid PB - Gredos KW - LÓGICA - FORMAL N1 - Historia de la lógica.; Precursores griegos.; Aristóteles.; Teofrasto.; La lógica megárico estoica.; El fin de la antigüedad.; Lógica escolástica.; Lógica moderna.; Forma matemática de la lógica: de Frege a Gödel.; La forma india de la lógica ER -