Starchak M. Some Decidability and Definability Problems for the Predicate of the Divisibility on Two Consecutive Numbers // Comput. Tools Educ. St. Petersburg, Russia, 2018. № 6. Pp. 5-15.