《数理逻辑》书评

走向逻辑之路的必读教材

北大以此作为研究生的数理逻辑教材。邢滔滔老师的《数理逻辑》也脱胎于此。书中详略得当，对于基础一点而过，适合有些逻辑基础的人来学习。书中的推演系统是矢列演算，这也是我在国内教材中从未见到过的。通过学习以及与公理系统和自然推演系统的对比，可以更有助于整体的提高。后面则是设计递归论，模型论，证明论等内容。暂未读完，回头再补评价。