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.