数理逻辑发展史：从莱布尼茨到哥德尔

• 微、漠

  05-03
  已弃疗，先去补数理逻辑基础算了。。
• 西布

  12-31
  2018-12-31：王宪均的学生，写的数理逻辑史专著。粗翻。要点：1）分期，前史—古典形式逻辑时期，初创—逻辑代数时期，奠基，发展初期--哥德尔及相关成果，现代发展时期。2）哥德尔思想的哲学意义，特别是形式系统和计算机的局限性。
• madeonearth

  03-15
  对于理解数理逻辑的整体框架很有帮助。尤其集合论部分讲解的透彻。
• 赛义甫

  11-10
  不愧是王宪均的学生，二人的风格很相似，一上来就是就是技术细节而没有理论的宏观介绍。不适合初学者。不过，此书是国内唯一一部完整的逻辑史著作，虽然写得不太像史。
• 超人

  01-06
  好多不明觉厉之处。中文逻辑书还是少读点的为好！
• 阅微草堂

  06-27
  里面的意识形态的东西太多啦，我不喜欢，而且现在读符号逻辑对于我来说有点早
• 一深

  12-01
  从康托尔与其师的悲惨经历来看，数学领域里的人事争斗也是挺恐怖的。
• Tension

  03-04
  同学问，你现在是不是不读中文书了？我说，怎么会呢？第一，我的英语其实很破，读中文比较节约时间，顶多是有不通的地方才去对照一下原文；第二、有些问题英美人不屑研究，只能看中国人的书，比如这本。