This text is designed for instructors who want a complete set of rules for first order predicate (Quantifier) logic, with identity, and a good range of other material. The authorsU approach through all of the editions has made this text the easiest for students to learn from among modern symbolic texts.