Proof theory Workshop on Logic, Foundational Research and Metamathematics II, Münster, 17. - 18.07.2008
Grunddaten zu diesem Projekt
Art des Projektes: Wissenschaftliche Veranstaltung
Laufzeit an der Universität Münster: 17.07.2008 - 18.07.2008
Beschreibung
Stichwörter: Proof theory; Logic; Foundational Research; Metamathematics
Mittelgeber / Förderformat:
- DFG - Internationale wissenschaftliche Veranstaltungen
Projektleitung der Universität Münster
| Schindler, Ralf-Dieter | Professur für Mengenlehre (Prof. Schindler) |
Antragsteller*innen der Universität Münster
| Schindler, Ralf-Dieter | Professur für Mengenlehre (Prof. Schindler) |