Английский ⇄ Греческий Датский Испанский Итальянский Китайский Немецкий Нидерландский Португальский Русский Финский Французский Шведский +

first order predicate calculus ударения
комп.	исчисление предикатов первого порядка