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

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