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