Progress report

Today (Tuesday) I have talked about material in Section 2.3 and 2.4. Tomorrow (Wednesday) I will continue to lecture Chapter 2.

Next week we talk about the proof of the Soundness Theorem (Th. 2.5.2) and the proof of the Deduction Theorem (Th. 2.7.4). We will probably also discuss some exercises.