当前位置： 查字典图书网 > Frau_的图书主页
Frau_

读过 (查看全部)

Frau_的评论

  • 评面向计算机科学的数理逻辑
    用词节省到极致，而附注对理解起不到帮助，完备性那块非优美常流畅，一阶逻辑u的运用是败笔，云里雾里的