Souza, Euclides. “ANÁLISE CRÍTICA DA TEORIA DE TIPOS INTUICIONISTAS DE PER MARTIN LÖF”. Revista Paranaense de Filosofia 5, no. 1 (julho 26, 2025): 63–74. Acessado fevereiro 20, 2026. https://periodicos.unespar.edu.br/rpfilo/article/view/10377.