Lecture 3: Casework and Strong Induction
Lecture Notes Lecture Notes
Reading Sections 5.2-5.3