Author: Kryl, R.

Demuth, O.; Kryl, R.; Kučera, A.: Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике. (Russian) [On the applications of the theory of partially-recursive functions with respect to the sets in constructive mathematics]. Acta Universitatis Carolinae. Mathematica et Physica, vol. 19 (1978), issue 1, pp. 15-60