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 UR - http://www.archive.org/details/beginninglogic00lemm UR - http://www.openlibrary.org/books/OL4740963M ER -