Angielski ⇄ Angielski Chiński Duński Fiński Francuski Grecki Hiszpański Niderlandzki Niemiecki Portugalski Rosyjski Szwedzki Ukraiński Włoski +

first-order logic
komp.	числення предикатів першого порядку
nauk.	ло́гіка предикатів пе́ршого поря́дку
technol.	предикатів першого порядку; ло́гіка пе́ршого поря́дку
Angielski tezaurus
first-order logic
mat.	first-order predicate logic (ssn)