Our next meeting.

We will start to discuss the material in Section 7.7 at our next meeting, and in particular, we discuss what you need to know about first-order logic. If you are not familiar with first-order logic already, it might be good idea to read Chapter 4 and see how much you of of of the chapter you can understand.