Starchak, M. 2018. Some Decidability and Definability Problems for the Predicate of the Divisibility on Two Consecutive Numbers. Computer Tools in Education. 6 (Dec. 2018), 5-15. DOI:https://doi.org/10.32603/2071-2340-2018-6-5-15.