Proceedings

T. Piecha and P. Schroeder-Heister (eds), General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015, URI: http://dx.doi.org/10.15496/publikation-10394, University of Tübingen 2016.

 

The proceedings collect abstracts, slides and papers of the presentations given, as well as contributions from two speakers who were unable to attend.