英语 ⇄ 俄语 +

binary functional calculus of first order 强调
数学	бинарное функциональное исчисление первого порядка (ssn)