Carlos P. D. Pereira, L., & Massi, C. 1990 Jan 1. Normalização para a lógica clássica. O que nos faz pensar. [Online] 2:02