TERMINAL FORMULA Англо-русский перевод TERMINAL FORMULA мат. заключительная формула (дерева вывода) New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011