本書首先簡要介紹了數(shù)理邏輯的發(fā)展、形式系統(tǒng)及一些預備知識，然后介紹了集合論，詳細講解了命題演算、謂詞演算、可計算性理論和哥德爾不完全性定理，最后介紹了模型論的基礎知識和方法。全書重點突出，論證詳細，各部分內容配有典型的例子和習題，以便讀者更好地理解、掌握相關知識。

更多科學出版社服務，請掃碼獲取。