Chapters 7-8 of the Logic Textbook.