and B.Venneri (1981), Functional Characters of Solvable Terms, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik (0)

by M Dezani-Ciancaglini M Coppo