Mathematical Logic: Proof Theory, Constructive Mathematics
6 Apr -
12 Apr 2008
ID: 0815
- Organizers
-
Samuel R. Buss, San Diego Ulrich Kohlenbach, Darmstadt Helmut Schwichtenberg, München
Lookup workshop in oberwolfach photo collection