很好看的数理逻辑入门

全书的重点在于证明不完备性定理的前后，
由一阶算术，原始递归到不完备性定理和以后的讨论都表达得非常清晰。
关于命题逻辑、一阶逻辑只有轻轻的描写，
内容不包括一阶逻辑的元定理和模型论，集合论只花了几页说明;
预设了读者有基础的逻辑和集合论知识。
建议阅读此书前，先读遍“一阶逻辑与一阶理论”。
这系列的逻辑书都很不错的。