Englisch ⇄ Russisch +

several-sorted predicate calculus Betonungen
Math.	исчисление предикатов с несколькими сортами переменных; исчисление предикатов с переменными нескольких видов