О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа
Antonín Kučera, Boris A. Kušner (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Antonín Kučera, Boris A. Kušner (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Antonín Kučera (1970)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Vojtěch Bartík (1975)
Commentationes Mathematicae Universitatis Carolinae
Similarity: