Oberwolfach Reports

Full-Text PDF (476 KB) | Introduction as PDF | Metadata | Table of Contents | OWR summary
Volume 11, Issue 4, 2014, pp. 2933–2986
DOI: 10.4171/OWR/2014/52

Published online: 2015-10-29

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. 11 (2014), 2933-2986. doi: 10.4171/OWR/2014/52