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
OWR Report
OWR_2005_14.pdf

Workshop Reports


Lookup workshop in oberwolfach photo collection