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

更多科學出版社服務，請掃碼獲取。