Oberwolfach Reports

Full-Text PDF (389 KB) | Introduction as PDF | Metadata | Table of Contents | OWR summary
Volume 8, Issue 4, 2011, pp. 2963–3002
DOI: 10.4171/OWR/2011/52

Published online: 2012-07-25

Mathematical Logic: Proof Theory, Constructive Mathematics

Samuel R. Buss[1], Ulrich Kohlenbach[2] and Michael Rathjen[3]

(1) University of California, San Diego, La Jolla, USA
(2) Technische Hochschule Darmstadt, Germany
(3) University of Leeds, United Kingdom

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.

No keywords available for this article.

Buss Samuel, Kohlenbach Ulrich, Rathjen Michael: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 8 (2011), 2963-3002. doi: 10.4171/OWR/2011/52