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