面向计算机科学的数理逻辑课后习题答案 15章
面向计算机科学的数理逻辑系统建模与推理原书第2版的课后习题1-5章的英文答案，虽然是英文，不过对照习题，很容易看懂。
下载地址
用户评论
非常好用，谢谢了！
学习了，很不错的资源
挺好的，满意
答案不全啊！！！！
比较全，但是跟原书不一样