TY - GEN AU - BOCHENSKI, Joseph M., 1902- TI - A history of formal logic AV - BC 15 .B643 PY - 1961/// CY - Indiana PB - University of Notre Dame press KW - Logic--History N1 - Translation of Formale Logik; Includes bibliographies ER -