English ⇄ Chinese Danish Dutch English Finnish French German Greek Italian Portuguese Russian Spanish Swedish Ukrainian +

first-order logic
comp.	числення предикатів першого порядку
IT	предикатів першого порядку; ло́гіка пе́ршого поря́дку
scient.	ло́гіка предикатів пе́ршого поря́дку
English thesaurus
first-order logic
math.	first-order predicate logic (ssn)