These are numbered but do not exactly correspond to what we talk about when we talk about it. Lecture 1 Lecture 2 Lecture 3 Lecture 4 Lecture 5 Lecture 6 Lecture 7 notes on predicate calculus Comments? Send mail to the TA