[数理逻辑].(美)Herbert.B.Enderton.清晰版.djvu
数理逻辑在计算机科学中起着奠基作用。这本数理逻辑教材以可读性强而著称，在美国大学中采用率很高，是数理逻辑方面的经典教材之一。
下载地址
用户评论
感觉还可以，不过没有坚持看完
经典中的经典，名校教材首选