Propositional and Predicate Calculus A Model of Argument - Goldrei, Derek; SpringerLink (Online service) (London : Springer London, 2005)
Keywords: Mathematics; Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations