אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית סינית ספרדית פורטוגלית פינית צרפתית רוסית שוודית +

first-order predicate calculus
.טכנול	calcul de prédicats; calcul des prédicats; logique de 1er ordre; logique des prédicats