英语 ⇄ 俄语 +

proof complexity 强调
信息技术	сложность доказательств (в различных формальных системах Alex_Odeychuk)