全書較系統(tǒng)地講述了各種三值邏輯、n值邏輯以及連續(xù)值邏輯理論；為模糊命題演算建立了一套形式演繹系統(tǒng)；把模糊推理納入了嚴(yán)格的邏輯軌道；從整體賦值出發(fā)，建立了積分語義學(xué)理論，為近似推理提供了一種可能的框架；系統(tǒng)論述了Pavelka邏輯并扼要論述了抽象邏輯。

本書在第一版的基礎(chǔ)上進(jìn)行修訂再版，全書共9章，內(nèi)容可分為Boole代數(shù)理論，命題演算與謂詞演算理論，歸結(jié)原理理論，多值邏輯的最新理論等4部分，同時，在第一版的基礎(chǔ)上對“計(jì)算邏輯學(xué)”，關(guān)于一階系統(tǒng)完備性的證明等諸多內(nèi)容做了補(bǔ)充或改寫。

本書從數(shù)理邏輯模型論的基本知識開始，介紹近年來在穩(wěn)定性和單純性理論中出現(xiàn)的新成果、新方法，并提供了相關(guān)練習(xí)。

與通常的公理集合論著作不同，本書在引入形式系統(tǒng)之前首先直觀而又嚴(yán)謹(jǐn)?shù)仃U述了類、集合、序數(shù),基數(shù)以及勢的概念，為沒有受過邏輯訓(xùn)練的讀者掌握集合論的基本概念提供了方便。第六章引進(jìn)了集合論形式語言和ZF形式公理系統(tǒng)，對直觀集合論中的概念和公理進(jìn)行了形式化處理，并在此基礎(chǔ)上建立了若干邏輯定理.以后各章介紹了公理集合論中的主要方

本書共六部分，分上、下兩冊。下冊包括第三、四、五章和兩個附錄。第三章陳述邏輯演算的重言式系統(tǒng)，并研究自然推理系統(tǒng)和重言式系統(tǒng)的關(guān)系。第四章研究邏輯演算的可靠性和完備性問題。笫五章討論了邏輯演箅如何應(yīng)用于陳述具體的數(shù)學(xué)理論，并且研究了在數(shù)學(xué)中引進(jìn)定義的形式化問題。附錄(一)陳述帶量詞的命題邏輯；附錄(二)定義了斜形證明，

本書共六部分，分上、下兩冊.上冊包括緒論、第一章和第二章.緒論對數(shù)理邏輯的性質(zhì)，邏輯演算的大概內(nèi)容.以及閱讀以后各章所需要的預(yù)備知識作了簡要的說明.第一章構(gòu)造命題邏輯和一階邏輯的形式系統(tǒng)，介紹演繹邏輯的基本規(guī)則.第二章研究邏輯演算的重要系統(tǒng)特征