TY  - JOUR
AU  - Yu. L. Ershov
TI  - Computable functionals of finite types
JO  - Algebra i logika
PY  - 1972
SP  - 367
EP  - 437
VL  - 11
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_1972_11_4_a0/
LA  - ru
ID  - AL_1972_11_4_a0
ER  -