剧情简介：本書是數理邏輯的有名經典著作之一，內容包括四章： 第一章爲命題演算，介紹基本邏輯聯結詞及其各種性質，並就命題演算而給出一個公理體系，證明其不矛盾性，完備性及互相獨立性． 第二章爲類演算，兼討論如何從類演算而推出亞里士多德邏輯． 第三章爲狹義謂詞演算，對該演算作出公理體系，同樣討論其不矛盾性、完備性及獨立性，對判定問題作簡單而詳盡的介紹． 第四章爲廣義謂詞演算，詳細介紹邏輯悖論產生的狀況，因而須用類型論加以解決，最後並舉例詳細釋明類型（層次）演算在數學方面的應用．
外文名：Grundzüge der theoretischen Logik
作者：希尔柏脱
出版社：科學出版社
