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  -