Functional Characters of Solvable Terms. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (1981)

by M Coppo, M Dezani-Ciancaglini, B Venneri