海词手机词典
  • Through the intensional interpretation, first-order language gets more close to the semantics of natural language, and is truly neutral to all kinds of subject matter.

    播放读音 播放读音