SOUZA, E. ANÁLISE CRÍTICA DA TEORIA DE TIPOS INTUICIONISTAS DE PER MARTIN LÖF. Revista Paranaense de Filosofia, v. 5, n. 1, p. 63–74, 26 jul.2025.