海词手机词典
  • This paper defines the conglomerate axiom system COG, and constructs the model A~B,and proves that A~B is the Boolean - valued moael of COG on the basis of [1].

    播放读音 播放读音