TY - GEN AU - Bochenski, Innocentius M., 1902- TI - A precis of mathematical logic AV - BC 135 .B62 PY - 1959/// CY - New York PB - D. Reidel publishing company KW - Logic ER -