这是一本有关于数理逻辑的教材。计算机专业背景的朋友都会用到这本书的。