Propositional and Predicate Calculus A Model of Argument - Goldrei, Derek (Springer-Verlag London Limited, 2005)