ALBARELLI, Felipe de Souza; BIRABEN, Rodolfo Cristian Ertola. 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, Campinas, SP, n. 26, 2019. DOI: 10.20396/revpibic262018409. Disponível em: https://econtents.bc.unicamp.br/eventos/index.php/pibic/article/view/409. Acesso em: 19 maio. 2024.