02F20
- : О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа. (Russian) [A type of recursive isomorphism of certain concepts of constructive analysis]. Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 1, pp. 97-105
- : On interpretability in set theories. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 1, pp. 73-79
Search
Partner of
