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

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