Souza E. ANÁLISE CRÍTICA DA TEORIA DE TIPOS INTUICIONISTAS DE PER MARTIN LÖF. RPFilo [Internet]. 26 de julio de 2025 [citado 13 de octubre de 2026];5(1):63-74. Disponible en: https://periodicos-hml.unespar.edu.br/rpfilo/article/view/10377