Souza, E. ANÁLISE CRÍTICA DA TEORIA DE TIPOS INTUICIONISTAS DE PER MARTIN LÖF. RPFilo 2025, 5 (1), 63-74.