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
technol.	calcolo dei predicati; logica dei predicati; logica del primo ordine
Angielski tezaurus
first-order predicate logic
skr., mat.	first-order logic (ssn)