Inglés ⇄ Alemán Chino Danés Español Finlandés Francés Griego Inglés Italiano Neerlandés Portugués Ruso Sueco Ucraniano +

first-order logic
cient.	ло́гіка предикатів пе́ршого поря́дку
comp.	числення предикатів першого порядку
IT	предикатів першого порядку; ло́гіка пе́ршого поря́дку
Inglés tesauro
first-order logic
mat.	first-order predicate logic (ssn)