Souza, E. (2025) “ANÁLISE CRÍTICA DA TEORIA DE TIPOS INTUICIONISTAS DE PER MARTIN LÖF”, Revista Paranaense de Filosofia, 5(1), p. 63–74. Disponível em: https://periodicos-hml.unespar.edu.br/rpfilo/article/view/10377 (Acesso em: 13 outubro 2026).