La fonction logique ε de Hilbert à travers les «Grundlagen der Mathematik» Christine Froidevaux (1983) Mathématiques et Sciences Humaines
L'axiomatisation de la syntaxe et le second theorem de Gödel J. F. Pabion (1974) Publications du Département de mathématiques (Lyon)