О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа Antonín Kučera; Boris A. Kušner — 1978 Commentationes Mathematicae Universitatis Carolinae