Lecture 1: Predicates, Sets, and Proofs
youtube.com
Lecture Notes Lecture Notes
Reading Sections 1.0-1.7, 3.1-3.3, 3.6