![]() ![]() |
數(shù)理邏輯基礎(下冊)
本書共六部分,分上、下兩冊。下冊包括第三、四、五章和兩個附錄。第三章陳述邏輯演算的重言式系統(tǒng),并研究自然推理系統(tǒng)和重言式系統(tǒng)的關系。第四章研究邏輯演算的可靠性和完備性問題。笫五章討論了邏輯演箅如何應用于陳述具體的數(shù)學理論,并且研究了在數(shù)學中引進定義的形式化問題。附錄(一)陳述帶量詞的命題邏輯;附錄(二)定義了斜形證明,并且證明了形式證明與斜形證明的等價關系
更多科學出版社服務,請掃碼獲取。 ![]()
你還可能感興趣
我要評論
|