English ⇄ Russian +

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