Browsing Oberwolfach Reports by MFO Series ID "OWR-2005-14"
Now showing items 1-1 of 1
-
0512 - Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics
[OWR-2005-14] (2005) - (20 Mar - 26 Mar 2005)The workshop “Mathematical Logic: Proof Theory, Type Theory