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