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
![Mathematical Logic: Proof Theory, Constructive Mathematics cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fserial-issues%2Fcover-owr-volume-8-issue-4.png&w=3840&q=90)
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. 8 (2011), no. 4, pp. 2963–3002
DOI 10.4171/OWR/2011/52