The lecture aims at the introduction to the most important concepts and methods of proof theory. The focus of the lecture is cutelemination and Herbrand s theorem.
The lecture is presented according to Takeuti: Proof Theory and the publications of the lecturer.
Not necessary