Universitätsbibliothek Hagen

Fachsystematik
Mathematik

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

Fachliche Betreuung: i.V.Martin Roos