TY - BOOK AU - Martain, Jacques. TI - Formal Logic U1 - 160 PY - 1946/// CY - New York PB - Sheed & Ward, ER -