英语 ⇄ 俄语 +

basic concepts of proofs and the structure of integers 强调
编程	основные положения теории доказательств и теории целых чисел (ssn)