Functional characters of solvable terms. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (1981)

by M Coppo, M Dezani-Ciancaglini, B Venneri