A teaching companion to Lemmon's Beginning logic /
Schumm, George F.
Lemmon, E. J.(Edward John).Beginning logic.
Indianapolis : Hackett,
c1979
Propositional calculus
Predicate calculus