Albarelli, F. de S., & 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). https://doi.org/10.20396/revpibic262018409