Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике
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
@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/