英语 ⇄ 俄语 +

several-sorted predicate calculus 强调
数学	исчисление предикатов с несколькими сортами переменных; исчисление предикатов с переменными нескольких видов