TY - BOOK AU - Schumm, George F. TI - A Teaching companion to lemmon's beginning logic SN - 0-915144-65-4 U1 - 160/SCH/T KW - Propositional Calculus|Predicate Calculus|Modern symbolic logic|Technique of proof-discovery KW - Study guide on beginning logic N1 - 761; Study guide on beginning logic ER -