DECIDABLE ARITHMETIC Англо-русский перевод DECIDABLE ARITHMETIC мат. разрешимая арифметика Big English-Russian dictionary . Большой Англо-Русский словарь. 2012