Deductive Logic
Chapters 1 and 2 provide an introduction to deductive logic; Chapter 3 explores the basic metatheory of the material in Chapters 1 and 2.