118.211 Proof Theory 2
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2023S, VO, 2.0h, 3.0EC


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture
  • Format: Online

Learning outcomes

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.

Subject of course

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

Teaching methods

Vorträge des Lehrenden und Diskussionen mit den Studierenden.

Mode of examination




Course dates

Tue17:00 - 19:0007.03.2023 Meeting room of the institute, Freihaus, green area, 5th floorPreliminary Meeting

Examination modalities

Positive Absolvierung einer mündlichen Prüfung.

Course registration

Not necessary



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.