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.	числення предикатів першого порядку
technol.	предикатів першого порядку; логіка першого порядку
Angielski tezaurus
first-order logic
mat.	first-order predicate logic (ssn)