Cruz, Ângela M. P. Aspectos Da Lógica Relevante Numa Prova Por Redução Ao Absurdo. Princí­pios 2010, 2, 05-11.