A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Mathematical Logic: Proof Theory, Constructive Mathematics
2014
Oberwolfach Reports
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. (2000) : 03Fxx. Mathematics Subject Classification
doi:10.4171/owr/2014/52
fatcat:u5y4ahfvk5bghnlcezwbyesc4a