Author: Demuth, O.

Demuth, O.: Некоторые вопросы теории конструктивных функций действительной переменной. (Russian) [Some problems of the theory of constructive real functions]. Acta Universitatis Carolinae. Mathematica et Physica, vol. 19 (1978), issue 1, pp. 61-96
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