关注
@[email protected] 郝兆宽, 杨睿之, 杨跃,《数理逻辑：证明及其限度》，复旦大学出版社. 听说已经绝版了，可能不好找，我是找朋友借的影印版，我当时只对一阶逻辑感兴趣所以只读了第三章，但据说整本书都很好，朋友倾力推荐.
@[email protected] 郝兆宽, 杨睿之, 杨跃,《数理逻辑：证明及其限度》，复旦大学出版社. 听说已经绝版了，可能不好找，我是找朋友借的影印版，我当时只对一阶逻辑感兴趣所以只读了第三章，但据说整本书都很好，朋友倾力推荐.