SOUZA, Euclides. ANÁLISE CRÍTICA DA TEORIA DE TIPOS INTUICIONISTAS DE PER MARTIN LÖF. Revista Paranaense de Filosofia, [S. l.], v. 5, n. 1, p. 63–74, 2025. Disponível em: https://periodicos.unespar.edu.br/rpfilo/article/view/10377. Acesso em: 5 dez. 2025.