This best-selling text for symbolic logic courses (both one- and two-semester) covers semantics,truth trees,derivations,and metatheory as it develops sentential logic (Chs. 2-6),and predicate logic (Chs. 7-11). The revised edition has more exercises,updated examples,even clearer explanations,a new topic identity,and the latest routine in tree method proofs. The book is packaged with a free solutions manual for selected exercises in the text.