МНОГОСОРТНАЯ СИГНАТУРА Русско-английский перевод МНОГОСОРТНАЯ СИГНАТУРА many-sorted signature Большой Русско-Английский словарь. New big Russian-English dictionary. 2012