Author: 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
Search
Partner of
