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

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