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