Albarelli, Felipe de Souza, and Rodolfo Cristian Ertola Biraben. “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, Jan. 2019, doi:10.20396/revpibic262018409.