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