- 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
Next: TDP-TEK Algebra Up: 61 Mathematik (Mat) TAA-TSZ Previous: TAA-TBY Allgemeines. Gesamtschrifttum der
TCK-TDC Grundlagen. Logik