Joinet, J. 2022 Jan 15. Prouver depuis toujours ? Une approche inférentielle de la compacité en logique propositionnelle. O que nos faz pensar. [Online] 29:49