《数理逻辑(修订版·影印版)》
数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。
下载地址
用户评论
没法用~~~下载的不对啊。。
非常不错的入门书，条理清晰，老师上课用作教材的
经典啊，书籍不错，很好，打印去