Course site NLS 2017: Proof theory
Lecturer: Andreas Weiermann.
Lecture Notes
Here are the
Lecture Notes.
These are not yet in final form and may contain typos.
These notes also do contain some exercises.
Here is some supplementary material
Article regarding phase transitions.
Article regarding Goodstein sequences and hydras.
Article regarding the Paris Harrington theorem.