JOINET, Jean-Baptiste. Prouver depuis toujours ? Une approche inférentielle de la compacité en logique propositionnelle. O que nos faz pensar, [S.l.], v. 29, n. 49, p. 100-114, jan. 2022. ISSN 0104-6675. Disponível em: <http://oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/811>. Acesso em: 03 oct. 2022. doi: https://doi.org/10.32334/oqnfp.2021n49a811.