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