Carlos P. D. Pereira, L., & Massi, C. (1990). Normalização para a lógica clássica. O Que Nos Faz Pensar, 2(02), 49-53. Recuperado de http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/19