Anglais ⇄ Allemand Anglais Danois Espagnol Finnois Français Grec Italien Langues chinoises Néerlandais Portugais Russe Suédois Ukrainien +

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