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

first-order logic
ИТ.	предикатів першого порядку; логіка першого порядку
комп.	числення предикатів першого порядку
Английский тезаурус
first-order logic
мат.	first-order predicate logic (ssn)