Jan von Plato. From Axiomatic Logic to Natural Deduction. Studia Logica, 102(6):1167-1184, 2014. [doi]
@article{Plato14, title = {From Axiomatic Logic to Natural Deduction}, author = {Jan von Plato}, year = {2014}, doi = {10.1007/s11225-014-9565-0}, url = {http://dx.doi.org/10.1007/s11225-014-9565-0}, researchr = {https://researchr.org/publication/Plato14}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {102}, number = {6}, pages = {1167-1184}, }