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

first-order predicate logic
тех.	一阶谓词逻辑
first order predicate logic
косм.	★ 一阶谓词逻辑
Английский тезаурус
first-order predicate logic
сокр., мат.	first-order logic (ssn)