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