Propositional and Predicate Calculus: A Model of Argument

Designed specifically for guided independent study. Features a wealth of worked examples and exercises, many with full teaching solutions, that encourage active participation in the development of the material. It focuses on core material and provides a solid foundation for further study.