Mathematical Logic: Proof theory, Constructive Mathematics
16 Nov -
22 Nov 2014
ID: 1447
- Organizers
-
Samuel R. Buss, La Jolla Ulrich Kohlenbach, Darmstadt Michael Rathjen, Leeds
Lookup workshop in oberwolfach photo collection