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