La fonction logique ε de Hilbert à travers les «Grundlagen der Mathematik» Christine Froidevaux — 1983 Mathématiques et Sciences Humaines