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 author's approach through all of the editions has made this text the easiest for students to learn from among modern symbolic texts.
This was read as a supplement for the work in Van Der Nat's Symbolic Logic course taught during the second semester of 1981/82 at Loyola University Chicago.