Lecture3
Mathematical Logic - Part 1
First-Order Logic (and beyond) Johan Bos. Overview of this lecture Introduction to first-order logic Discourse Representation Theory Using the Lambda-Calculus.
For Monday Read chapter 8 Homework: –Chapter 7, exercises 1, 8, and 9 May be done in pairs.