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:, 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.