Joinet, Jean-Baptiste. " Prouver depuis toujours ? Une approche inférentielle de la compacité en logique propositionnelle" O que nos faz pensar [Online], Volume 29 Número 49 (15 January 2022)