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.unespar.edu.br/rpfilo/article/view/10377 (Acessado: 5 dezembro 2025).