Application des γ-opérateurs au calcul logique du premier échelon, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 (1956)

by Roland Fraïssé