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

更多科學(xué)出版社服務(wù)，請掃碼獲取。