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

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