After successful completion of the course, students are able to manage the Epsilon formulism; to prove the first and second Epsilon-theorem as well as to analyse the complexity and the consequence effectiveness of the Herbrand theorem.
Syntax of the epsilon calculus, epsilon theorems 1 and 2.
Vorträge des Lehrenden und Diskussionen mit den Studierenden.
Positive Absolvierung einer mündlichen Prüfung.
Not necessary