数理逻辑（中文版 H.B.Enderton）
数理逻辑（中文版 H.B.Enderton）是翻译的H.B.Enderton的英文原著。
下载地址
用户评论
资源不错，感谢分享
这本书很好，特别是不完全定理那里。经典教材！习题有的有难度。
还以为是希尔伯特那本，不过应该也是经典，下来看看