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

logical formalization מתח
.מָתֵי	логическая формализация