Geodesic
A sharpened theorem on substitution for computable functionals and some of its consequences
Trudy Moskovskogo matematičeskogo obŝestva, Trudy Moskovskogo Matematicheskogo Obshchestva, Tome 37 (1978), pp. 255-269.

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

@article{MMO_1978_37_a7,
     author = {V. I. Amstislavskiǐ},
     title = {A sharpened theorem on substitution for computable functionals and some of its consequences},
     journal = {Trudy Moskovskogo matemati\v{c}eskogo ob\^{s}estva},
     pages = {255--269},
     publisher = {mathdoc},
     volume = {37},
     year = {1978},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MMO_1978_37_a7/}
}
TY  - JOUR
AU  - V. I. Amstislavskiǐ
TI  - A sharpened theorem on substitution for computable functionals and some of its consequences
JO  - Trudy Moskovskogo matematičeskogo obŝestva
PY  - 1978
SP  - 255
EP  - 269
VL  - 37
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MMO_1978_37_a7/
LA  - ru
ID  - MMO_1978_37_a7
ER  - 
%0 Journal Article
%A V. I. Amstislavskiǐ
%T A sharpened theorem on substitution for computable functionals and some of its consequences
%J Trudy Moskovskogo matematičeskogo obŝestva
%D 1978
%P 255-269
%V 37
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MMO_1978_37_a7/
%G ru
%F MMO_1978_37_a7
V. I. Amstislavskiǐ. A sharpened theorem on substitution for computable functionals and some of its consequences. Trudy Moskovskogo matematičeskogo obŝestva, Trudy Moskovskogo Matematicheskogo Obshchestva, Tome 37 (1978), pp. 255-269. http://geodesic.mathdoc.fr/item/MMO_1978_37_a7/