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