Browsing Workshops 2014 by Workshop Code "1447"
Now showing items 1-1 of 1
-
1447 - Mathematical Logic: Proof theory, Constructive Mathematics
[OWR-2014-52] (2014) - (16 Nov - 22 Nov 2014)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