英语 ⇄ 俄语 +

predicate calculus and proving theorems 强调
编程	исчисление предикатов и доказательство теорем (ssn)