Schlagwörter
Beweistheorie
2
Mathematische Logik
2
Ordinalzahlanalyse
2
imprädikativ
2
Ernst Schröder
1
Gottlob Frege
1
Heinrich Scholz
1
Institut für Mathematische Logik und Grundlagenforschung
1
Kripke-Platek Mengenlehre
1
Kripke-Platek-Mengenlehre
1
Reflexionsschema
1
Schnittelimination
1
Stabilitäts-Axiom
1
Universitätsbibliothek Münster
1
Universitätsgeschichte
1
Zweiter Weltkrieg
1
subrekursive Hierarchien
1