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

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