E. Souza, «ANÁLISE CRÍTICA DA TEORIA DE TIPOS INTUICIONISTAS DE PER MARTIN LÖF», RPFilo, vol. 5, n.º 1, pp. 63–74, jul. 2025, Accedido: oct. 13, 2026. Disponible en: https://periodicos-hml.unespar.edu.br/rpfilo/article/view/10377