TY  - JOUR
AU  - V. D. Solov'ev
TI  - Program-closed classes of general recursive functions and predicates of finite rank
JO  - Izvestiâ vysših učebnyh zavedenij. Matematika
PY  - 1993
SP  - 45
EP  - 60
IS  - 9
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IVM_1993_9_a7/
LA  - ru
ID  - IVM_1993_9_a7
ER  -