Doets K.The Haskell road to logic,math and programming.2004.pdf 时间:2012-01-27 08:48:14 【文件属性】: 文件名称:Doets K.The Haskell road to logic,math and programming.2004.pdf 文件大小:6.97MB 文件格式:PDF 更新时间:2012-01-27 08:48:14 Haskell 透过 Haskell 来学习数理逻辑,并透过全书顺便学习 Haskell 程序语言. 立即下载