英语 ⇄ 俄语 德语 法语 +

elementary logic 强调
数学	элементарная логика
计算	исчисление предикатов первого порядка