| 250045 | UE 1st, 2 ECTS | Übungen zu Grundbegriffe der Mathematischen Logik |
| 250114 | VO 3st, 5 ECTS | Axiomatische Mengenlehre 1 |
| 250124 | PS 2st | Proseminar zur Einführung in die mathematische Logik |
| 250125 | VO 2st | Axiomatische Mengenlehre 2 |
| 250130 | VO 2st | Grundbegriffe der Mathematischen Logik. |
| 250132 | VO 3st | Axiomatische Mengenlehre 1 (gemeinsam mit Hans Adler) |
| 250119 | PS 2st | Proseminar zur Einführung in die Mathematische Logik |
| 250120 | VO 2st | Axiomatische Mengenlehre 2 |
| 250128 | VO 2st | Rekursionstheorie |
| 250124 | VO 2st | Grundbegriffe der mathematischen Logik |
| 250123 | VO 3st | Einführung in die Theoretische Informatik (gemeinsam mit Ajdin Halilovic) |
| 250122 | PS 2st | Proseminar zu Einführung in die Mathematische Logik |
| 250432 | VO 4st | Mathematische Logik 1 (gemeinsam mit Sy-David Friedman) |
| 250434 | VO 3st | Mengenlehre 2 |
| 250150 | VO 2st | Grundbegriffe der Mathematischen Logik |
| 250086 | PS 2st | Proseminar zur Axiomatischen Mengenlehre 1 |