TY  - JOUR
AU  - N. V. Beljakin
TI  - Generalized computations and second order arithmetic
JO  - Algebra i logika
PY  - 1970
SP  - 375
EP  - 405
VL  - 9
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_1970_9_4_a0/
LA  - ru
ID  - AL_1970_9_4_a0
ER  -