Geodesic
Generalized computations and second order arithmetic
Algebra i logika, Tome 9 (1970) no. 4, pp. 375-405

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{AL_1970_9_4_a0,
     author = {N. V. Beljakin},
     title = {Generalized computations and second order arithmetic},
     journal = {Algebra i logika},
     pages = {375--405},
     publisher = {mathdoc},
     volume = {9},
     number = {4},
     year = {1970},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_1970_9_4_a0/}
}
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  - 
%0 Journal Article
%A N. V. Beljakin
%T Generalized computations and second order arithmetic
%J Algebra i logika
%D 1970
%P 375-405
%V 9
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_1970_9_4_a0/
%G ru
%F AL_1970_9_4_a0
N. V. Beljakin. Generalized computations and second order arithmetic. Algebra i logika, Tome 9 (1970) no. 4, pp. 375-405. http://geodesic.mathdoc.fr/item/AL_1970_9_4_a0/