РАЗРЕШИМАЯ АРИФМЕТИКА Русско-английский перевод РАЗРЕШИМАЯ АРИФМЕТИКА мат. decidable arithmetic Большой Русско-Английский словарь. New big Russian-English dictionary. 2012