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

predicate calculus language
IT	langage assertionnel; langage de type calcul; langage non procédural