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 -
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/