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