面向科学的数理逻辑

【文件属性】：

文件名称：面向科学的数理逻辑

文件大小：33.37MB

文件格式：PDF

更新时间：2014-12-09 07:08:40

计算机 数理逻辑 数理逻辑

这是中科院研究生院开展数理逻辑所使用的课本。讲解数理逻辑中的基础知识，很有参考价值。