The purpose of this book is to provide students with a clear comprehensible introduction to a complete system for sentential and first-order predicate logic, together with coverage of traditional syllogistic logic and other systems of logic ...
Designed for those who desire a comprehensive introduction to logic that is both rigorous and student friendly, this book includes exercise sets accompanied by clear exposition to take the student from sentential logic through first order ...
This text is designed for instructors who want a complete set of rules for first order predicate (Quantifier) logic, with identity, and a good range of other material.