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