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