Goldrei, D. . Propositional and predicate calculus: a model of argument / by Derek Goldrei. - New York : Springer-Verlag , 2005 - 315p : ISBN: 1-85233-921-7 Subjects--Topical Terms: Mathematics Dewey Class. No.: B32 / P5