Proof theory Workshop on Logic, Foundational Research and Metamathematics II, Münster, 17. - 18.07.2008
Basic data for this project
Type of project: Scientific Event
Duration at the University of Münster: 17/07/2008 - 18/07/2008
Description
Keywords: Proof theory; Logic; Foundational Research; Metamathematics
Funder / funding scheme:
- DFG - International Scientific Events
Project management at the University of Münster
| Schindler, Ralf-Dieter | Professorship for set theory (Prof. Schindler) |
Applicants from the University of Münster
| Schindler, Ralf-Dieter | Professorship for set theory (Prof. Schindler) |