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

predicate calculus language
technol.	langage assertionnel; langage de type calcul; langage non procédural