可計算性與數(shù)理邏輯：英文版

第一部分 可計算性理論（Computability Theory）
第1章 可枚舉性
Enumerability
第2章 對角化
Diagonalization
第3章 圖靈可計算性
Turing Computability
第4章 不可計算性
Uncomputability
第5章 算盤可計算性
Abacus Computability
第6章 遞歸函數(shù)
Recursive Functions
第7章 遞歸集與遞歸關系
Recursive Sets and Relations
第8章 可計算性的等價定義
Equivalent Definitions of Computability
第二部分 基礎元邏輯（Basic Metalogic）
第9章 一階邏輯初階：語法
A Pr巆is of First-Order Logic: Syntax
第10章 一階邏輯初階：語義
A Pr巆is of First-Order Logic: Semantics
第11章 一階邏輯的不可判定性
The Undecidability of First-Order Logic
第12章 模型
Models
第13章 模型的存在性
The Existence of Models
第14章 證明與完備性
Proofs and Completeness
第15章 算術化
Arithmetization
第16章 遞歸函數(shù)的可表示性
Representability of Recursive Functions
第17章 不可定義性、不可判定性、不完全性
Indefinability, Undecidability , Incompleteness
第18章 協(xié)調(diào)性的不可證性
The Unprovability of Consistency
第三部分 高級專題（Further Topics）
第19章 范式
Normal Forms
第20章 Craig內(nèi)插定理
The Craig Interpolation Theorem
第21章 一目邏輯與二目邏輯
Monadic and Dyadic Logic
第22章 二階邏輯
Second-Order Logic
第23章 算術可定義性
Arithmetical Definability
第24章 無乘法算術的可判定性
Decidability of Arithmetic without Multiplication
第25章 非標準模型
Nonstandard Models
第26章 Ramsey定理
Ramsey’s Theorem
第27章 模態(tài)邏輯與可證性
Modal Logic and Provability
部分問題的提示
Hints for Selected Problems
加注釋的參考文獻
Annotated Bibliography
索引
Index