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