豆瓣
扫码直接下载
Shoenfield 67年的这本M.L.这么多年一直是数理逻辑研究生的经典教材。只是以现在眼光看，四论每分支都提到，可惜限于教材体例篇幅，每一分支都不能太深入触及；而且写法和符号与40年后有点脱节。窃以为，更适宜温习用。
为了查一阶逻辑的semantics找到此书，只是大致地翻了一下。很详尽透彻，从axiom system谈起，引出formal system的定义，用严谨、形式化的语言讲述一阶逻辑的 syntax 和 semantics
> Mathematical Logic
3 有用 海螺-Rob_F 2012-10-31 16:59:06
Shoenfield 67年的这本M.L.这么多年一直是数理逻辑研究生的经典教材。只是以现在眼光看，四论每分支都提到，可惜限于教材体例篇幅，每一分支都不能太深入触及；而且写法和符号与40年后有点脱节。窃以为，更适宜温习用。
2 有用 无名的伞 2018-07-05 15:18:53
为了查一阶逻辑的semantics找到此书，只是大致地翻了一下。很详尽透彻，从axiom system谈起，引出formal system的定义，用严谨、形式化的语言讲述一阶逻辑的 syntax 和 semantics