长刀的读书主页

读过   · · ·  ( 3本 )

  • 数学与文化
  • 这本书叫什么?
  • 数理逻辑

想读   · · ·  ( 36本 )

  • 芝加哥学术生涯规划
  • 深入浅出设计模式
  • 深入理解计算机系统
  • 编码的奥秘
  • 共和国教科书
  • 传家
  • 逻辑分析与名辩哲学
  • 20世纪墨学研究史
  • 哲学百科
  • 印度人的逻辑学

长刀的书评   · · ·  ( 1篇 )

数理逻辑

再不读,作者都。。。

评论: 数理逻辑

今天偶然看到作者的讣告。http://www.ucalgary.ca/rzach/blog/2010/10/herbert-b-enderton-1936-2010.html Sad news: With sadness we report the death on October 20 of Herbert Bruce Enderton, who had been battling leukemia for several months. He was Professor Emeritus of Mathematics at UCLA and a for...(2回应)

长刀关注的人  · · ·  ( 全部1 )

罗永浩
罗永浩

最近阅读   · · ·