Die Vorlesung Beweistheorie dient der Einführung in die wesentlichen Anschauungen und Techniken der Beweistheorie. Im Mittelpunkt steht die Schnittelemination und der Satz von Herbrand.
Die Vorlesung folgt dem 1.Kapitel von Takeuti: Proof Theory und den Veröffentlichungen des Vortragenden.
Nicht erforderlich