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

first-order predicate logic
шт.інтел.	Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)
IT	Prädikatenlogik 1.Ordnung; Prädikatenlogik f
Англійський тезаурус
first-order predicate logic
абрев., мат.	first-order logic (ssn)