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