Publisher's Synopsis
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 predicate logic, the theory of descriptions, and identity.