《數理邏輯基礎》是1958年7月出版的圖書。
德國戴維·希爾伯特及其學生阿克曼合著。分命題演算、類演算、狹義謂詞演算、廣義謂詞演算四章。
原書名為《理論邏輯基礎》，第一、二版分別于1928年、1938年出版，第三、四版在希爾伯特身后由阿克曼修訂分別于1949年、1959年出版。中國莫紹揆譯本出版于1958年，是據第三版譯出的。原書第四版有較多的修改（包括符號體系的改變）和補充。
參考資料 >
網站地圖 | | 京ICP備2022000368號