Souza, E. 2025. ANÁLISE CRÍTICA DA TEORIA DE TIPOS INTUICIONISTAS DE PER MARTIN LÖF. Revista Paranaense de Filosofia. 5, 1 (jul. 2025), 63–74.