Albarelli F de S, Biraben RCE. Sobre a existência de semântica finita para os fragmentos da lógica intuicionista. revpibic [Internet]. 2019 Jan. 3 [cited 2024 May 20];(26). Available from: https://econtents.bc.unicamp.br/eventos/index.php/pibic/article/view/409