JournalsowrVol. 8 / No. 4DOI 10.4171/owr/2011/52

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
Mathematical Logic: Proof Theory, Constructive Mathematics cover

You need to subscribe to download the article.

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.