Ângela M. P. Cruz, «Aspectos da Lógica Relevante numa prova por Redução ao Absurdo», Princí­pios, vol. 2, n.º 02, pp. 05–11, oct. 2010.