Goldrei, Derek Propositional and Predicate Calculus : a model of argument / Derek Goldrei. - London : Springer, 2005. - vi, 315 p. : ill. ; Include Index ISBN: 9781852339210 Subjects--Topical Terms: Propositional calculus Dewey Class. No.: 511.3 / GOL/P