Mathematical Logic: Proof Theory, Constructive Mathematics
6 Nov -
12 Nov 2011
ID: 1145
- Organizers
-
Samuel R. Buss, La Jolla Ulrich Kohlenbach, Darmstadt Michael Rathjen, Leeds
Lookup workshop in oberwolfach photo collection