Course site NLS 2017: Proof theory
Lecturer: Andreas Weiermann.
Here are the
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.