Starchak M. Some Decidability and Definability Problems for the Predicate of the Divisibility on Two Consecutive Numbers. Comput. Tools Educ. [Internet]. 2018 Dec. 28 [cited 2026 Oct. 24];(6):5-15. Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1552