Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage zum selbständigen Wissenserwerb aus der Literatur.
Zu den Inhalten der Lehrveranstaltung zählen:
Schnittelimination von LK/LJ
Theorem von Herbrand
Interpolation
Die Vorlesung folgt dem 1.Kapitel von Takeuti: Proof Theory und den Veröffentlichungen des Vortragenden.
Vorträge des Lehrenden und Diskussionen mit den Studenten.
Absolvierung einer mündlichen Prüfung.