# Mathematical Logic: Proof Theory, Constructive Mathematics

### Samuel R. Buss

University of California, San Diego, La Jolla, USA### Ulrich Kohlenbach

Technische Hochschule Darmstadt, Germany### Michael Rathjen

University of Leeds, United Kingdom

## 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