数理逻辑

　　本书前两章介绍了命题演算和谓词演算，第三章介绍形式算术，递归函数及二者的关系，第四章中心是不完备性定理，其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等。

暂缺《数理逻辑》作者简介