Auflistung Oberwolfach Reports nach Workshop Code "0512"
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 and Constructive Mathematics” covered various topics of mathematical logic dealing with proofs as formal objects and computations induced by proofs.