Albarelli, F. de S.; Biraben, R. C. E. Sobre a Existência De semântica Finita Para Os Fragmentos Da lógica Intuicionista. revpibic 2019.