Angielski ⇄ Rosyjski +

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