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


Hilfe und Kontakt


Letzte Änderung: 17.06.2015


Dieser Hinweis erscheint nur für Textbrowser und nicht konforme graphische Browser: unsere Webseiten basieren auf dem W3C-Standard und sind weitgehend barrierefrei. Hinweise zur Barrierefreiheit finden Sie in unserem Hinweis zur Barrierefreiheit.