數(shù)理邏輯

　　本書前兩章介紹了命題演算和謂詞演算，第三章介紹形式算術(shù)，遞歸函數(shù)及二者的關(guān)系，第四章中心是不完備性定理，其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算術(shù)的不可判定性定理、無矛盾性不可證性定理的一種易證形式等。

暫缺《數(shù)理邏輯》作者簡介