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

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