“Modus Ponens e inducción matemática”, Letras, vol. 48, no. 84-85, pp. 71–83, Dec. 1976, doi: 10.30920/letras.48.84-85.05.