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