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