Mathematical Logic: Proof Theory, Constructive Mathematics
15 Nov -
20 Nov 2026
ID: 2647
- Organizers
-
Anton Freund, Würzburg Antonina Kolokolova, St. John’s Henry Towsner, Philadelphia Keita Yokoyama, Sendai
Lookup workshop in oberwolfach photo collection