Albarelli, Felipe de Souza, and Rodolfo Cristian Ertola Biraben. 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, no. 26 (January). Campinas, SP. https://doi.org/10.20396/revpibic262018409.