TY - BOOK AU - Lemmon,E.J. TI - Beginning logic SN - 0915144506 AV - QA9.3 .L45 U1 - 511/.3 PY - 1978/// CY - Indianapolis PB - Hackett Pub. Co. KW - Propositional calculus KW - Predicate calculus N1 - Includes index ER -