Mathematical Logic: Proof Theory, Constructive Mathematics
Samuel R. Buss
University of California, San Diego, La Jolla, USAUlrich Kohlenbach
Technische Hochschule Darmstadt, GermanyMichael Rathjen
University of Leeds, United Kingdom
A subscription is required to access this article.
Abstract
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
Cite this article
Samuel R. Buss, Ulrich Kohlenbach, Michael Rathjen, Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 11 (2014), no. 4, pp. 2933–2986
DOI 10.4171/OWR/2014/52