数理逻辑专著

【文件属性】：

文件名称：数理逻辑专著

文件大小：227KB

文件格式：PDF

更新时间：2018-04-02 04:31:39

数理逻辑

推荐国防工业出版社2015年专著《证明方法与理论》。是计算机基础理论类的。涉及计算机原理、定理自动证明等。