Lecture 2: Contradiction and Induction
youtube.com
Lecture Notes Lecture Notes
Reading Sections 1.8-1.9, 4.1, and 5.1