Albarelli, F. de S. e Biraben, R. C. E. (2019) “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. Campinas, SP, (26). doi: 10.20396/revpibic262018409.