TCK-TDC Grundlagen. Logik
- TCK
- Formale Logik und Grundlagen der Mathematik (Gesamtdarstellungen)
- TCL
- Einzelfragen der Logik (z.B. Aussagenkalkül, modale Logik, Beweistheorie, Berechenbarkeit, rekursive Funktionen, Modelltheorie)
- TCO
- Anwendung der formalen Logik
- TCS
- Mengenlehre
- TCW
- Kombinatorik
- TCX
- Kategorien
- TCY
- Strukturtheorie allgemein
- TCZ
- Ordnungsstrukturen. Verbände. Boolesche Algebra
- TDB
- Graphentheorie
- TDC
- Sonstige Einzelprobleme