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