數理邏輯基礎

基本介紹

• 書名：數理邏輯基礎
• 作者：希爾柏脫 / 阿克曼 
• 原版名稱：Grundzüge der theoretischen Logik
• 譯者：莫紹揆
• 頁數：216
• 定價：1.10元
• 出版社：科學出版社
• 出版時間：1958-7
• 裝幀：平裝
• 統一書號：13031-750 

德國希爾伯特及其學生阿克曼合著。分命題演算、類演算、狹義謂詞演算、廣義謂詞演算四章。

原書名為《理論邏輯基礎》，第一、二版分別於1928年、1938年出版，第三、四版在希爾伯特身後由阿克曼修訂分別於1949年、1959年出版。中國莫紹揆譯本出版於1958年，是據第三版譯出的。原書第四版有較多的修改（包括符號體系的改變）和補充。