Progress report_澳门皇冠体育,皇冠足球比分

larsk
2022-09-13T21:21:00.183Z
type:structured-message
www.uio.no

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.