Lecture Slides

Week Lecture 1 Lecture 2
1 Introduction to Predicate Logic Quantifiers in Predicate Logic