A teaching companion to Lemmon's Beginning logic - Schumm George F; Lemmon E J (Indianapolis : Hackett, 1979)
Keywords: Propositional calculus; Predicate calculus