- Title
- Mathematical Logic: Proof Theory, Constructive Mathematics
- Workshop ID: 2046
- Organizers
Samuel R. Buss, La Jolla Rosalie Iemhoff, Utrecht Ulrich Kohlenbach, Darmstadt Michael Rathjen, Leeds
- Date: 8 Nov - 14 Nov 2020
Organizers: Login for more information
Participants: Login for more information
Lookup workshop in oberwolfach photo collection