Our next meeting

Our next meeting will take place February 24 (Tuesday), 14:15.

We will discuss technical details is some proof ?in Section 7.6, in particular, the proof of Th 7.6.5.

Thereafter I will tell you what you should know about first-order logic before you start to read Section 7.7.

A link to the meeting will be published on this web site in due time.