Mathematical Logic: Proof Theory, Constructive Mathematics
12 Nov -
17 Nov 2023
ID: 2346
- Organizers
-
Samuel R. Buss, La Jolla Rosalie Iemhoff, Utrecht Ulrich Kohlenbach, Darmstadt Michael Rathjen, Leeds
Lookup workshop in oberwolfach photo collection