数理逻辑(A.G.汉密尔顿)
介绍图灵机和哥德尔定理等和一些数学逻辑常识。
这个翻译版本已经不再出版与喜好数学的亲们分享。
下载地址
用户评论
数院的本科数理逻辑的教材，和一般计算机系学习数理逻辑的侧重点有所区别，更加注重比较整体的描述整个逻辑系统。
这本书我们老师说很是经典哦