General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction" (2015 : Tübingen) Bezüge im Wissensnetz Veranstaltungsort (1) GND Tübingen