數理邏輯

容：屬邏輯基礎，包含題演算謂詞演算基識。二形式算術Ö完備。Ö完備、Ö－、及形式算術判提供完整證。合論題論題介紹，義討論。提Ö二完備易證形式。計算專業研究級科材，供、哲、邏輯專業研究及參考。

修改，仔細，框架容均，章（題、謂詞演算）突基容，層，讀若完備標，則專註演算建及各靠、完，略課題（包括附材料）章，

合，曾（類似）：按，證題，似非，屬誤讀．完備紀形式義派研究規劃否，否，類思維創造質，具積極義，該揭示思維形式化局限，揭示，非針般思維，該具積極義，持觀義根據，觀義恰式觀義繼承．（完備義討論，詳..節及.節．）

本書作為數理邏輯基礎教材，所涉及的形式系統均採用可數語言，含不可數語言的更一般理論，通常歸屬數理邏輯更專門的領域一一模型論，

原計劃與中國科學技術大學計算機科學與技術學院陳小平教授共同完成這次修訂．但因他承擔的教研及其他任務太重，故未能如願，他提出了不少好的意見和建議，已被採納，

關於不完備性定理的意義及證明，曾與秦一明、金釗（中國科學技術大學數學系2001級同學）進行過多次有益的討論，這使本書第二不完備性定理（初版中提出的易證形式）的證明細節有了進一步改進。

舒其望、張卜天及喻良在提供資料信息方面曾對作者給予幫助，書稿打字由黃嶺梅完成。

再版前言

前言

引言

0 預備知識

1 命題演算

2 謂詞演算

3 形式算術與遞歸函數

4 不完備性定理

部分練習答案或提示

符號彙集

參考文獻