TY - GEN AU - Neidorf, Robert TI - Deductive forms: an elementary logic U1 - 160 PY - 1967/// CY - New York PB - Harper And Row KW - Logic ER -