E. Souza, “ANÁLISE CRÍTICA DA TEORIA DE TIPOS INTUICIONISTAS DE PER MARTIN LÖF”, RPFilo, vol. 5, no. 1, pp. 63–74, Jul. 2025, Accessed: Oct. 13, 2026. Available: https://periodicos-hml.unespar.edu.br/rpfilo/article/view/10377