Logic Reading Group

Time and place

Our next meeting is on Wednesday at 11-12am (23 November) in room SW01.

23/11/2011 Models of Theories (2.6, exercises 4, 6 and 8)
16/11/2011 Models of Theories (2.6, exercises and 3)
11/11/2011 Soundness and Completeness of First-Order Logic (2.5, exercise 2)
01/11/2011 Soundness and Completeness of First-Order Logic (2.5, exercise 6)
25/10/2011 Compactness of Sentential Logic (1.7, exercise 2)

We use a mailing list to plan and discuss future meetings. Please join!

We are mainly using A Mathematical Introduction to Logic by Herbert B. Enderton. The book is available only in few libraries. If you are unable to obtain a copy, please email Justus (jm614).