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.unespar.edu.br/rpfilo/article/view/10377.