Christian Urban (urban-c)

Contributions to Philosophie.ch

Bibliography

Urban, Christian. 2004. “Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation.” in Advances in Natural Deduction. A Celebration of Dag Prawitz’s Work, edited by Luiz Carlos Pereira, Edward Hermann Hausler, and Valeria de Paiva, pp. 31–50. Trends in Logic n. 39–54. Dordrecht: Springer.