Browsing Workshops 2011 by MFO Series ID "OWR-2011-52"
Now showing items 1-1 of 1
-
1145 - Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR-2011-52] (2011) - (06 Nov - 12 Nov 2011)The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity.