英语 ⇄ 俄语 +

predicate calculus without identity 强调
技术	исчисление предикатов без единицы
数学	исчисление предикатов без равенства