MANY-SORTED CALCULUS


Англо-русский перевод MANY-SORTED CALCULUS

мат. исчисление с несколькими видами переменных

Big English-Russian dictionary .      Большой Англо-Русский словарь.