After successful completion of the course, students are able to understand proof theory.

Proof theory consists of numerous individual aspects; nevertheless each for itself is useless and only the overall context of importance.

The lecture material will be dynamicly compiled with the students; that is why - in contrast with TU policies - no teaching content can be specified beforehand.

As in accordance with the Austrian constitution, scientific teaching as well as science itself is fre.

Therefore, the content of teaching - in agreement with the participating students- can be adjusted at any time throughout the duration of the lecture.

Methods of Cut-Elimination (Cut-Elimination is the most important proof transformation)

Vorträge des Lehrenden und Diskussionen mit den Studierenden.

Positive Absolvierung einer mündlichen Prüfung.

Tait, W. W. "Normal derivability in classical logic"  in The Syntas and Semantics of Infinitary Languages

Springer Berlin, 1968, 72, 204-236

Eine Kopie dieses Artikels wird in VO ausgeteilt.