Universitätsbibliothek Hagen


Fachsystematik
Mathematik

TCKFormale Logik. Symbolische Logik. Logistik (Mathematische Logik). Grundlagen der Mathematik. (Gesamtdarstellungen. Allgemeine Einzelfragen)
TCLModelltheorie
TCNRekursionstheorie
TCOBeweistheorie. Konstruktive Mathematik
TCPAlgebraische Logik (Boolesche Algebra)
TCRNichtstandard-Modelle
TCSMengenlehre
TCXKategorientheorie. Homologische Algebra. Algebraische K-Theorie
TCZOrdnungen. Strukturen. Geordnete algebraische Strukturen
TDAAllgemeine mathematische Systeme (Universelle Algebra und Verwandtes)
TDBKombinatorik. Graphentheorie
TDCAnwendungen der formalen Logik. Sonstige Einzelprobleme

Fachliche Betreuung: i.V.Martin Roos



Letzte Änderung: 09.02.2022