many-sorted calculus Мат. исчисление с несколькими видами переменных Источник: Полный англо-русский словарь на Gufo.me Предложить изменения many-sidedness many-sorted signature
