Mathematical Logic: Proof Theory, Constructive Mathematics
Samuel R. Buss, Ulrich Kohlenbach, Michael Rathjen · Oberwolfach Reports · 2012
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.