Fachbereich Mathematik und Informatik
Suchen
Studieren
Forschen
Personen
Lehrveranstaltungen
Veröffentlichungen
Veranstaltungen
Institut fü Mathematische Logik und Grundlagenforschung
Einsteinstraße 62
48149 Münster
Tel.: +49-251-83-33 790
Fax: +49-251-83-33 078
pfeifer@math.uni-muenster.de
Startseite des Instituts
Startseite Mathematik und Informatik
Startseite
Universität Münster
Kontakt
Impressum
Vorlesungsskripten in mathematischer Logik
Vorlesungsskripten in mathematischer Logik
J. Diller
Einführung in die klassische Prädikatenlogik
Berechenbarkeitstheorie
W. Pohlers
Mengenlehre
Computability Theory of Hyperarithmetical Sets
Handbuch der Informatik
Infinitary Proof Theory
W. Pohlers & T. Glaß
An Introduction to Mathematical Logic
R. Schindler
Skript zur Vorlesung
Logische Grundlagen
Skript zu den Vorlesungen
Einführung in die Berechenbarkeitstheorie, Logik I
und
Logik II
Skript zur Vorlesung
Mengenlehre (Logik III und IV)
