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

quantifier algebra מתח
.מָתֵי	кванторная алгебра