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.