数理逻辑基础

本書是數理邏輯的有名經典著作之一，內容包括四章：

第一章爲命題演算，介紹基本邏輯聯結詞及其各種性質，並就命題演算而給出一個公理體系，證明其不矛盾性，完備性及互相獨立性．

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

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

第四章爲廣義謂詞演算，詳細介紹邏輯悖論產生的狀況，因而須用類型論加以解決，最後並舉例詳細釋明類型（層次）演算在數學方面的應用．