Бельтюков, А. П. (2017). To the Anniversary of Yuri Vladimirovich Matiyasevich. Computer Tools in Education, (6), 5-11. Retrieved from http://cte.eltech.ru/ojs/index.php/kio/article/view/1526