Klenk (Minnesota State U., Moorhead) presents an introduction to all the standard topics of symbolic logic up through relational predicate logic with identity. Twenty chapters are divided further into small sections, allowing the student to master the material bit by bit without being overwhelmed by a mass of information. Topics include, for example, the structure of sentential logic, the proof method, the ten replacement rules, and invalidity in quantifier logic. The volume concludes with six extra credit units on more advanced topics. Annotation c. Book News, Inc., Portland, OR (booknews.com)