computability and logic 中文译文
英文版computabilityandlogic书的译文
下载地址
用户评论
很有用，谢谢分享
粗看了下。这本书和我们学校用的Discrete Structures, Logic & Computability比较近似。不过内容还是少了很多。不过，还是可以作参考书看看