MANY-SORTED CALCULUS Англо-русский перевод MANY-SORTED CALCULUS мат. исчисление с несколькими видами переменных New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011