A. Moretti, «Gentzen y la naturalidad de la deducción», Anál. Filos., vol. 4, n.º 1, pp. 45–51, may 1984.