Carlos P. D. Pereira, Luiz, & Cosme Massi. " Normalização para a lógica clássica." O que nos faz pensar [Online], 2.02 (1990): 49-53. Web. 16 May. 2022