M. da P. N. de Medeiros, “A Prova por Redução ao Absurdo na Lógica Clássica”, Princí­pios, vol. 2, nº 02, p. 120–125, out. 2010.