数理逻辑基础认领

本書是數理邏輯的有名經典著作之一，內容包括四章： 第一章爲命題演算，介紹基本邏輯聯結詞及其各種性質，並就命題演算而給出一個公理體系，證明其不矛盾性，完備性及互相獨立性． 第二章爲類演算，兼討論如何從類演算而推出亞里士多德邏輯． 第三章爲狹義謂詞演算，對該演算作出公理體系，同樣討論其不矛盾性、完備性及獨立性，對判定問題作簡單而詳盡的介紹． 第四章爲廣義謂詞演算，詳細介紹邏輯悖... 更多