Propositional and Predicate Calculus A Model of Argument - Goldrei, Derek; SpringerLink (Online service) (London : Springer-Verlag London Limited, 2005)
Keywords: Propositional calculus -- Problems, exercises, etc; Predicate calculus -- Problems, exercises, etc; Mathematics; Mathematical Logic and Foundations