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

deduction-oriented language מתח
.טֶכנו	язык логических выводов; язык выводов (логических)