1. 首页
  2. 课程学习
  3. C++/C
  4. 数理逻辑经典书籍

数理逻辑经典书籍

上传者: 2019-05-21 17:22:47上传 RAR文件 18.95MB 热度 37次
handbookofmodallogic;Introductiontologicforcomputerscience;logicanddiscretemathmaticsforcomputerscience;LogicforComputerScientis;logicincomputerscience;ModalLogicforOpenMinds;-Logic-A-Very-Short-Introduction
下载地址
用户评论
码姐姐匿名网友 2019-05-21 17:22:47

挺好的 原滋原味。。

码姐姐匿名网友 2019-05-21 17:22:47

可惜全部是E文,学E文的时候,也许有用。

码姐姐匿名网友 2019-05-21 17:22:47

里面有经典的模态逻辑的手册,还有其他的很好的逻辑书籍。很有参考价值

码姐姐匿名网友 2019-05-21 17:22:47

7本都是英文的,都是文字版的,很清晰,谢谢