Proof Theory

This course is part of the Mastermath programme.
Lecturers are Rosalie Iemhoff and Jaap van Oosten.

This course will be given in weeks 6-21 (February-June 2010).
The course is on Wednesdays, 10:15-13:00, in Buys Ballot Laboratory room 065, Utrecht.

Literature: We use Chapter I and Chapter II (written by S. Buss) of the Handbook of Proof Theory.

Overview of the material treated in the course

• Week 6: 1.1 A Frege proof system for propsitional logic, and a completeness theorem. Here are Exercises and solutions.
• Week 7:

Back to my teaching page