Auflistung Workshops 2014 nach Workshop Code "1447"
Anzeige der Dokumente 1-1 von 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