Lecture slides for MAT 2440
Section 1.1 - 1.3
Section 1.4 - 1.5
(Typo in the slides: Nested Quantifiers are
not
in section 1.4. They are in section 1.5.)
Section 1.6 - 1.7 - 1.8
Chapter 2
Chapter 3
Chapter 4
Chapter 5
Chapter 10
Chapter 11