英语 ⇄ 俄语 +

brief introduction to predicate calculus 强调
编程	краткое введение в исчисление предикатов (ssn)