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

first-order predicate logic
techn.	一阶谓词逻辑
first order predicate logic
przestrz.	★ 一阶谓词逻辑
Angielski tezaurus
first-order predicate logic
skr., mat.	first-order logic (ssn)