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