2005
On the Photo:
- Moschovakis, Yiannis N. (left)
- Schwichtenberg, Helmut (middle)
- Buss, Samuel (right)
Occasion:Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics
Location: Oberwolfach
Author: Schmid, Renate (photos provided by Schmid, Renate)
Source: MFO
Year: 2005
Copyright: MFO
Photo ID: 6397