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