München, Mathematische Fakultät (Math. Faculty), WS 1982/83:
- 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:
- Logik für Informatiker I (Logic for Computer Scientists I)
- Logik für Informatiker II (Logic for Computer Scientists II)
- Logik für Informatiker (Logic for Computer Scientists)
- Logik in der Informatik (Logic in Computer Science I)
- Einleitung in die Beweistheorie und Graphentheorie (Introduction in Proof Theory and Combinatorics)
- Logik-Kalküle I (Logic calculi I)
- Logik-Kalküle II, Relationsalgeba (Logic calculi II, Relation Algebra)
- Nicht-klassische Logik (Non-classical logic)
- Mehrwertige Logik (Many-valued logic)
- Algorithmische Analysis (Constructive analysis)
- Berechenbarkeit (Computability)
- Berechenbarkeit und Rekursionstheorie (Computability and Recursion Theory)
- Berechenbarkeit in Logik und Analysis (Computability in Logic and Analysis)
- Einführung in Post-Turing Analysis (Introduction to Post-Turing Analysis)