本書在*版的基礎(chǔ)上進行修訂再版，全書共9章，內(nèi)容可分為Boole代數(shù)理論，命題演算與謂詞演算理論，歸結(jié)原理理論，多值邏輯的*理論等4部分。同時，在*版的基礎(chǔ)上對“計量邏輯學(xué)”，關(guān)于一階系統(tǒng)K完備性的證明等諸多內(nèi)容做了補充或改寫。 本書可供計算機專業(yè)、應(yīng)用數(shù)學(xué)專業(yè)、人工智能專業(yè)的研究生與高年級本科生及教師閱讀。

更多科學(xué)出版社服務(wù)，請掃碼獲取。