This text is designed for those who desire a complete set of rules for first order predicate logic with identity; the text includes a solid range of additional material. 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.