英语 ⇄ 俄语 +

sequential calculus with identity 强调
数学	исчисление высказываний с тождеством