| |
TCK | Formale Logik. Symbolische Logik. Logistik (Mathematische Logik). Grundlagen der Mathematik. (Gesamtdarstellungen. Allgemeine Einzelfragen) |
TCL | Modelltheorie |
TCN | Rekursionstheorie |
TCO | Beweistheorie. Konstruktive Mathematik |
TCP | Algebraische Logik (Boolesche Algebra) |
TCR | Nichtstandard-Modelle |
TCS | Mengenlehre |
TCX | Kategorientheorie. Homologische Algebra. Algebraische K-Theorie |
TCZ | Ordnungen. Strukturen. Geordnete algebraische Strukturen |
TDA | Allgemeine mathematische Systeme (Universelle Algebra und Verwandtes) |
TDB | Kombinatorik. Graphentheorie |
TDC | Anwendungen der formalen Logik. Sonstige Einzelprobleme |