邏輯迷宮

第一部分 明智地概括
第一章 說(shuō)謊和講真話的邏輯
第二章 男性還是女性？
第三章 沉默的騎士和無(wú)賴
第四章 發(fā)瘋還是清醒？
第五章 困難重重！
第六章 統(tǒng)一化
第二部分 明智地符號(hào)化
第七章 命題邏輯初步
第八章 說(shuō)謊者、誠(chéng)實(shí)的人以及命題邏輯
第九章 善變的說(shuō)謊者
第十章 邏輯聯(lián)結(jié)詞和善變的說(shuō)謊者
第十一章 語(yǔ)義表方法
第十二章 所有和有些
第十三章 一階邏輯初步
第三部分 無(wú)窮性
第十四章 無(wú)窮的本質(zhì)
第十五章 數(shù)學(xué)歸納
第十六章 廣義歸納、柯尼格引理與緊致性
第四部分 一階邏輯的重要結(jié)論
第十七章 命題邏輯的重要結(jié)論
第十八章 一階邏輯：完全性、緊致性和司寇倫-駱文海定理
第十九章 正則定理
第五部分 公理系統(tǒng)
第二十章 開(kāi)始公理化
第二十一章 更多的命題公理系統(tǒng)
第二十二章 一階邏輯的公理系統(tǒng)
第六部分 一階邏輯深入
第二十三章 克雷格插值引理
第二十四章 羅賓遜定理
第二十五章 貝思可定義性定理
第二十六章 大一統(tǒng)
第二十七章 一階邏輯展望
 
參考文獻(xiàn)
名詞索引
中英文名詞對(duì)照 !