This text is designed for those who desire a comprehensive introduction to logic which is both rigorous and student friendly. Numerous, carefully graded exercise sets accompanied by crisp, clear exposition take the student from sentential logic through first order predicate logic with identity. The rules are carefully motivated and compared to other systems of rules for sentential and predicate logic. The text includes a solid range of additional material, including chapters devoted to Aristotelian logic, informal logic, inductive logic, and modal, epistemic, and deontic logics. Through all editions, the goal has been to make symbolic logic understandable for the typical student. Careful explanation and pedagogy make this the easiest text from which to learn symbolic logic.