英语 ⇄ 俄语 +

predicate calculus with identity 强调
技术	исчисление предикатов единицей
数学	исчисление предикатов с равенством