Vista do Sobre a existência de semântica finita para os fragmentos da lógica intuicionista | Revista dos Trabalhos de Iniciação Científica da UNICAMP