אנגלית ⇄ רוסית +

several-sorted predicate calculus מתח
.מָתֵי	исчисление предикатов с несколькими сортами переменных; исчисление предикатов с переменными нескольких видов