Logic and Philosophy: A Modern Introduction by Alan Hausman
This text is designed for those who desire a comprehensive introduction to logic that is both rigorous and student friendly. Numerous, carefully crafted exercise sets accompanied by crisp, clear exposition take the student from sentential logic through first order predicate logic, the theory of descriptions, and identity. As the title suggests, this is a book devoted not merely to logic; students will encounter an extraordinary amount of philosophy in this unique book. Upon completing the text, a student will be well prepared for advanced courses in analytic philosophy.