Auswahl:
1
Schlagwörter: ...Mathematische Logik Beweistheorie Ordinalzahlanalyse Kripke-Platek-Mengenlehre Reflexionsschema...
2
Schlagwörter: ...Mathematische Logik Beweistheorie Ordinalzahlanalyse subrekursive Hierarchien Kripke-Platek...
3
Sind die Nachlässe von Gottlob Frege und Ernst Schröder seit Ende des Zweiten Weltkriegs verschollen?
Schlagwörter: ... Zweiter Weltkrieg Institut für Mathematische Logik und Grundlagenforschung...
Auswahl:
Suchwerkzeuge: RSS-Feed abonnieren