Robuta

https://publikationen.uni-tuebingen.de/xmlui/handle/10900/68977 General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the... proof theory dag prawitz natural deduction general celebrating