Joinet, J. (2022). Prouver depuis toujours ? Une approche inférentielle de la compacité en logique propositionnelle. O Que Nos Faz Pensar, 29(49), 100-114. doi:10.32334/oqnfp.2021n49a811