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

propositional calculus
nauk.	чи́слення ви́словів; чи́слення тве́рджень
technol.	обчислювання висловлювань; обчислення висловлювань; рахунок тверджень висловів; рахунок речень висловів