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