Souza E. ANÁLISE CRÍTICA DA TEORIA DE TIPOS INTUICIONISTAS DE PER MARTIN LÖF. RPFilo [Internet]. 26º de julho de 2025 [citado 5º de dezembro de 2025];5(1):63-74. Disponível em: https://periodicos.unespar.edu.br/rpfilo/article/view/10377