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