频道

  • 扫一扫安装书房APP

  • 扫一扫关注微信号

豆单
some math and programming books

收藏
顶
分享
豆单

some math and programming books

九思创建于2012-04-24 最后编辑: 2017-09-05 12:34 1,006阅读 1人收藏
some math books about logic, category theory and functional programming
共 3 个文档
Bell, John - The Development of Categorical Logic 75p
pdf Bell, John - The Development of Categorical Logic
暂无描述
  • 作者: 215667
  • 2011-03-18
  • 格式: PDF
收藏到书房
The Foundations of Intuitionistic Mathematics -S.C. Kleene, R.E. Vesley 210p
pdf The Foundations of Intuitionistic Mathematics -S.C. Kle..
暂无描述
收藏到书房
Type Theory and Functional Programming 378p
pdf Type Theory and Functional Programming
Type Theory and Functional Programming
  • 作者: pcfli
  • 2010-11-15
  • 格式: PDF
收藏到书房
相关豆单推荐
布艺手工DIY（301人收藏） office使用技巧文档（114人收藏） 【养老话题】养老漫画 养老知识（77人收藏） photoshop基础知识汇总（68人收藏） 精品投行报告（67人收藏） 经管励志（61人收藏）
创建豆单