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

formal methods of mathematics מתח
.מָתֵי	формальные методы математики (Alex_Odeychuk)