Albarelli, Felipe de Souza, e 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 (janeiro 3, 2019). Acessado maio 20, 2024. https://econtents.bc.unicamp.br/eventos/index.php/pibic/article/view/409.