Computable functionals of finite types. Algebra i Logika (1972)

by Yuri L Ershov