• DML-CZ Home

02F40 

• Kučera, Antonín; Kušner, Boris A.: О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа. (Russian) [A type of recursive isomorphism of certain concepts of constructive analysis]. Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 1, pp. 97-105