数学计算逻辑计算机基础,讲的是有关计算机的数学基础知识。一个数学家写的。关于NP问题