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

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