Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике
Acta Universitatis Carolinae. Mathematica et Physica, Tome 19 (1978) no. 1, pp. 15-60.

Voir la notice de l'article dans Czech Digital Mathematics Library

Classification : 03D30, 03D60, 03F60
@article{AUCMP_1978__19_1_a2,
     author = {Demuth, O. and Kryl, R. and Ku\v{c}era, A.},
     title = {{\CYRO}{\cyrb} {\cyri}{\cyrs}{\cyrp}{\cyro}{\cyrl}{\cyrsftsn}{\cyrz}{\cyro}{\cyrv}{\cyra}{\cyrn}{\cyri}{\cyri} {\cyrt}{\cyre}{\cyro}{\cyrr}{\cyri}{\cyri} {\cyrf}{\cyru}{\cyrn}{\cyrk}{\cyrc}{\cyri}{\cyrishrt} {\cyrch}{\cyra}{\cyrs}{\cyrt}{\cyri}{\cyrch}{\cyrn}{\cyro}-{\cyrr}{\cyre}{\cyrk}{\cyru}{\cyrr}{\cyrs}{\cyri}{\cyrv}{\cyrn}{\cyrery}{\cyrh} {\cyro}{\cyrt}{\cyrn}{\cyro}{\cyrs}{\cyri}{\cyrt}{\cyre}{\cyrl}{\cyrsftsn}{\cyrn}{\cyro} {\cyrch}{\cyri}{\cyrs}{\cyrl}{\cyro}{\cyrv}{\cyrery}{\cyrh} {\cyrm}{\cyrn}{\cyro}{\cyrzh}{\cyre}{\cyrs}{\cyrt}{\cyrv} {\cyrv} {\cyrk}{\cyro}{\cyrn}{\cyrs}{\cyrt}{\cyrr}{\cyru}{\cyrk}{\cyrt}{\cyri}{\cyrv}{\cyrn}{\cyro}{\cyrishrt} {\cyrm}{\cyra}{\cyrt}{\cyre}{\cyrm}{\cyra}{\cyrt}{\cyri}{\cyrk}{\cyre}},
     journal = {Acta Universitatis Carolinae. Mathematica et Physica},
     pages = {15--60},
     publisher = {mathdoc},
     volume = {19},
     number = {1},
     year = {1978},
     zbl = {0394.03054},
     language = {ru},
     url = {https://geodesic-test.mathdoc.fr/item/AUCMP_1978__19_1_a2/}
}
TY  - JOUR
AU  - Demuth, O.
AU  - Kryl, R.
AU  - Kučera, A.
TI  - Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике
JO  - Acta Universitatis Carolinae. Mathematica et Physica
PY  - 1978
SP  - 15
EP  - 60
VL  - 19
IS  - 1
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/AUCMP_1978__19_1_a2/
LA  - ru
ID  - AUCMP_1978__19_1_a2
ER  - 
%0 Journal Article
%A Demuth, O.
%A Kryl, R.
%A Kučera, A.
%T Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике
%J Acta Universitatis Carolinae. Mathematica et Physica
%D 1978
%P 15-60
%V 19
%N 1
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/AUCMP_1978__19_1_a2/
%G ru
%F AUCMP_1978__19_1_a2
Demuth, O.; Kryl, R.; Kučera, A. Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике. Acta Universitatis Carolinae. Mathematica et Physica, Tome 19 (1978) no. 1, pp. 15-60. https://geodesic-test.mathdoc.fr/item/AUCMP_1978__19_1_a2/