Souza, Euclides. “ANÁLISE CRÍTICA DA TEORIA DE TIPOS INTUICIONISTAS DE PER MARTIN LÖF”. Revista Paranaense de Filosofia, vol. 5, no. 1, July 2025, pp. 63-74, https://periodicos-hml.unespar.edu.br/rpfilo/article/view/10377.