數理邏輯基礎

1958年科學出版社出版的圖書

基本介紹

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

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

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