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