Англійська ⇄ Німецька Російська Французька +

elementary logic наголоси
комп.	исчисление предикатов первого порядка
мат.	элементарная логика