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