面向计算机科学的数理逻辑（带书签）.pdf
逻辑在计算机科学中的重要作用不言而喻。全书的观点、体系、内容甚至习题都是现代化的。
下载地址
用户评论
