详实的数理逻辑讲义

李高尚 评论 符号逻辑讲义 4 2012-03-20 19:45:27
漫漫人生路
漫漫人生路 2015-12-12 17:28:41

mark

昳晔
昳晔 (高贵的骗子) 2017-07-20 21:58:38

后续的教材有什么推荐吗?

李高尚
李高尚 (深陷游戏行业无法自拔) 2017-07-27 09:30:07
后续的教材有什么推荐吗? 后续的教材有什么推荐吗? 昳晔

再往后我也只稍微读过艾宾浩斯的《数理逻辑》,再之后应该就是细研究各种其他逻辑了,模态逻辑、时态逻辑之类,看研究方向了。
补个地址:https://book.douban.com/subject/3132271/