1745
Mathematical Logic: Proof Theory, Constructive Mathematics
Workshop
1745Period
05 Nov - 11 Nov 2017Abstract
The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects of computational complexity.