Springer Philosophy, 03 Jul 2019 Studia Logica Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs http://ow.ly/xbGW30p3ru6