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

first-order predicate calculus
IT	calcul de prédicats; calcul des prédicats; logique de 1er ordre; logique des prédicats