Two-volume introduction to formal logic. Volume I presents sentence logic and Volume II covers predicate logic and metatheory. Features easy-to-understand explanations and graded exercises.
Very clear exposition of Fitch-style natural deduction and the tree method. A little redundant in some parts, but some students might find this desirable. Excellent for self-study.