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

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