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. 26 (jan. 2019). DOI:https://doi.org/10.20396/revpibic262018409.