数理逻辑方面的经典教材!学计算机的人更要培养逻辑思维。