Browsing Workshops 2005 by MFO Series ID "OWR-2005-14"

Now showing items 1-1 of 1

0512 - Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics

[OWR-2005-14] Workshop Report 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.