Teaching

München, Mathematische Fakultät (Math. Faculty), WS 1982/83:

1. Systeme von Funktionen und Klassen (Systems of functions and classes)

Tübingen, WSI f. Informatik (Dept. of Comp. Science), WS 92/93 - WS 2003/04:

2. Logik für Informatiker I (Logic for Computer Scientists I)
3. Logik für Informatiker II (Logic for Computer Scientists II)
4. Logik für Informatiker (Logic for Computer Scientists)
5. Logik in der Informatik (Logic in Computer Science I)
6. Einleitung in die Beweistheorie und Graphentheorie (Introduction in Proof Theory and Combinatorics)
7. Logik-Kalküle I (Logic calculi I)
8. Logik-Kalküle II, Relationsalgeba (Logic calculi II, Relation Algebra)
9. Nicht-klassische Logik (Non-classical logic)
10. Mehrwertige Logik (Many-valued logic)
11. Algorithmische Analysis (Constructive analysis)
12. Berechenbarkeit (Computability)
13. Berechenbarkeit und Rekursionstheorie (Computability and Recursion Theory)
14. Berechenbarkeit in Logik und Analysis (Computability in Logic and Analysis)
15. Einführung in Post-Turing Analysis (Introduction to Post-Turing Analysis)