數理邏輯基礎（下冊）

內容簡介

本書陳述數理邏輯的基礎知識，包括邏輯演算的基本內容．這些內容構成數理邏輯各個分支（模型論、證明論和構造性數學、遞歸論、集合論）的共同的基礎．

本書共六部分，分上、下兩冊．下冊包括第三、四、五章和兩個附錄．第三章陳述邏輯演算的重言式系統，並研究自然推理系統和重言式系統的關係．第四章研究邏輯演算的可靠性和完備性問題．第五章討論了邏輯演算如何套用於陳述具體的數學理論，並且研究了在數學中引進定義的形式化問題．附錄（一）陳述帶量詞的命題邏輯；附錄（二）定義了斜形證明，並且證明了形式證明與斜形證明的等價關係．

本書可以用作數學專業和其他專業數理邏輯課程的教材或教學參考書，或供有關工作人員參考，使用時可根據具體情況刪減內容．使用本書時一般要求讀者具有相當於大學高年級程度的數學訓練．

圖書目錄

第三章重言式

第四章可靠性和完備性

第五章形式數學系統

附錄（一）命題量詞

附錄（二）斜形證明

符號彙編（下冊）

參考文獻

數理邏輯基礎（下冊）

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條