02F25
- : Об aлгopифмичecкoй неапроксимируемости точных верхних гpaниц конструктивных пceвдоceчeний. (Russian) [The algorithmic nonapproximability of the least upper bounds of constructive pseudosections]. Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 3, pp. 445-453
- : O desátém Hilbertově problému. (Czech) [On the tenth Hilbert problem]. Pokroky matematiky, fyziky a astronomie, vol. 18 (1973), issue 4, pp. 185-192
- : The lattice of bi-numerations of arithmetic. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 2, pp. 281-306
Search
Partner of
