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

applied predicate calculus מתח
.מָתֵי	прикладное исчисление предикатов