Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics
20 Mar -
26 Mar 2005
ID: 0512
- Organizers
-
Samuel R. Buss, La Jolla Yiannis N. Moschovakis, Los Angeles Helmut Schwichtenberg, München
Lookup workshop in oberwolfach photo collection