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