An Introduction to Formal Logic: Second Edition

• Intended for a course for students in philosophy, mathematics, linguistics, or computer science, and excellent for self-study.   • Motivation is given for each formal concept and each step in building a formal logic in terms of formalizing reasoning.  Summaries are given at important junctures in the book to keep students aware of what they are doing and where they are going. • Criteria of for...