Browsing Workshops 2005 by MFO Series ID "OWR-2005-14"
Anzeige der Dokumente 1-1 von 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