这是王老师编写的数理逻辑，适合计算机专业人员学习，市面上已经缺货，学习数理逻辑的读者可以参考。