數理邏輯基礎

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

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