2017
On the Photo:
- Rathjen, Michael (left)
- Kohlenbach, Ulrich (second from the left)
- Iemhoff, Rosalie (second from the right)
- Buss, Samuel (right)
Occasion:Mathematical Logic: Proof Theory, Constructive Mathematics
Annotation: organizers
Location: Oberwolfach
Author: Lein, Petra (photos provided by Lein, Petra)
Source: MFO
Year: 2017
Copyright: MFO
Photo ID: 22086