אנגלית ⇄ סינית +

logical and mathematical semantics
.טכנול	数理逻辑语义学