אנגלית ⇄ ליטאית סינית רוסית +

constructive logic
.טכנול	构造性逻辑