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

first-order predicate logic
IT	calcul de prédicats; calcul des prédicats; logique de 1er ordre; logique des prédicats
Англійський тезаурус
first-order predicate logic
абрев., мат.	first-order logic (ssn)