Mathematical Logic: Proof Theory, Constructive Mathematics

12 Nov - 18 Nov 2023
ID: 2346
Organizers
Samuel R. Buss, La Jolla
Rosalie Iemhoff, Utrecht
Ulrich Kohlenbach, Darmstadt
Michael Rathjen, Leeds

Lookup workshop in oberwolfach photo collection