Lecture 2 - Conditions and Structures
Lecture 3 1.3 Predicates and Quantifiers 1.4 Nested Quantifiers.