TY - BOOK AU - Maritain,Jacques AU - Choquette,Imelda TI - Formal logic PY - 1946/// CY - New York PB - Sheed & Ward ER -