內容簡介
本書陳述數理邏輯的基礎知識,包括邏輯演算的基本內容。這些內容構成數理邏輯各個分支(模型論、證明論和構造性數學、遞歸論、集合論)的共同的基礎。《BR》本書共六部分,分上、下兩冊。下冊包括第三、四、五章和兩個附錄。第三章陳述邏輯演算的重言式繫統,並研究自然推理繫統和重言式繫統的關繫。第四章研究邏輯演算的可靠性和完備性問題。第五章討論了邏輯演箄如何應用於陳述具體的數學理論,並且研究了在數學中引進定義的形式化問題。附錄(一)陳述帶量詞的命題邏輯;附錄(二)定義了斜形證明,並且證明了形式證明與斜形證明的等價關繫。