Goldrei, Derek. Propositional and Predicate Calculus A Model of Argument [electronic resource] / by Derek Goldrei. - London : Springer-Verlag London Limited, 2005. - vi, 315 p. : ill., digital ; 25 cm. ISBN: 9781846282294 (electronic bk.) 9781852339210 (paper) Subjects--Topical Terms: Propositional calculus--Problems, exercises, etc.Predicate calculus--Problems, exercises, etc.Mathematics.Mathematical Logic and Foundations. LC Class. No.: QA9.3 / .G65 2005 Dewey Class. No.: 511.3