《數理邏輯（修訂版）》是2003年清華大學出版社出版的圖書。
基本介紹
- 中文名：數理邏輯（修訂版）
- 作者：A.G. Hamilton
- 出版時間：2003年7月28日
- 出版社：清華大學出版社
- ISBN：9787302068105
- 定價：26 元
- 裝幀：平裝
圖書簡介
專家推薦，我們選了劍橋大學出版社的，由A.G.Hamilton著“Logic for Mathematicians”一書影印出版，希望本書的影印版能為國內高校“數理邏輯”課程的開設提供支持。本書系統地講解了數理邏輯的基礎部分——命題演算與謂詞演算。第一章直觀地講解了命題邏輯基本思想和概念；第二章講解命題邏輯的形式化系統；第三章直觀地講解了謂詞邏輯；第四章講解謂詞邏輯的形式化系統；第五章介紹數學系統；第六章以很不的篇幅完整地介紹了哥德爾不完備定理以有遞歸函式的初步知識；第七章簡要介紹了可計算性與可判定性理論。由於數理邏輯（特別是其基礎部分）是一門定形的老學科，其理論體系沒有什麼變化。本書第一版由劍橋大學出版社於1978年出版，然後，於1988年出了修訂版。自從出版以來，幾乎第年都要重印，可見其受歡迎的程度。本書是適合作本科生教學的，難得的好教材，既適用於計算機專業，也適用於數學專業，對哲學專業的學生同樣也是適用的。
