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