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 akcenty
mat.	логика предикатов первого порядка (ssn)
Angielski tezaurus
first-order predicate logic
skr., mat.	first-order logic (ssn)