Joinet, Jean-Baptiste. " Prouver depuis toujours ? Une approche inférentielle de la compacité en logique propositionnelle." O que nos faz pensar [Online], 29.49 (2021): 100-114. Web. 3 Oct. 2022