1145
Mathematical Logic: Proof Theory, Constructive Mathematics
Workshop
1145Period
06 Nov - 12 Nov 2011Abstract
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.