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

second-order predicate calculus
technol.	λογική δευτέρου βαθμού; κατηγορηματική λογική δευτέρου βαθμού; κατηγορηματικός λογισμός δευτέρου βαθμού