數(shù)理邏輯基礎(chǔ)

本書是數(shù)理邏輯的有名經(jīng)典著作之一，內(nèi)容包括四章：

第一章爲(wèi)命題演算，介紹基本邏輯聯(lián)結(jié)詞及其各種性質(zhì)，並就命題演算而給出一個公理體系，證明其不矛盾性，完備性及互相獨立性．

第二章爲(wèi)類演算，兼討論如何從類演算而推出亞里士多德邏輯．

第三章爲(wèi)?yīng)M義謂詞演算，對該演算作出公理體系，同樣討論其不矛盾性、完備性及獨立性，對判定問題作簡單而詳盡的介紹．

第四章爲(wèi)廣義謂詞演算，詳細(xì)介紹邏輯悖論產(chǎn)生的狀況，因而須用類型論加以解決，最後並舉例詳細(xì)釋明類型（層次）演算在數(shù)學(xué)方面的應(yīng)用．