Proof Theory
Dozent:
Helmut Schwichtenberg.
Termine
Vorlesung: Mo, Do 11-13, Hörsaal E27. Beginn 24. April.
Übung: Do 14-16, Hörsaal E27. Beginn 27. April.
Sprechstunde: Mi 14-15, Zimmer 415.
Skriptum
Kapitel 1 "Logic", Stand
8. Juni.
Kapitel 2 "Computation with Partial Continuous Functionals", Stand
13. Juli
Kapitel 3 "Proof Interpretations", Stand
24. Juli.
There is now a complete script.
Übungen
Blatt 1,
2,
3,
4,
5,
6,
7,
8,
9
Literatur
A.S. Troelstra and H. Schwichtenberg, Basic Proof Theory,
Cambridge University Press, 2te Auflage 2000
Helmut Schwichtenberg
[Last updated 10. November 2006]