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