Mathematical Logic: Proof Theory, Constructive Mathematics

Samuel R. Buss; Ulrich Kohlenbach; Michael Rathjen

doi:10.4171/owr/2014/52

JournalsowrVol. 11, No. 4pp. 2933–2986

Mathematical Logic: Proof Theory, Constructive Mathematics

Samuel R. Buss
University of California, San Diego, La Jolla, USA
- MathSciNet
- zbMATH Open
Ulrich Kohlenbach
Technische Hochschule Darmstadt, Germany
- MathSciNet
- zbMATH Open
Michael Rathjen
University of Leeds, United Kingdom
- MathSciNet
- zbMATH Open

Download PDF

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