本书为中国社会科学院研究生重点教材之一种,本书叙述了数理逻辑的基本内容,如经典一阶逻辑的句法、语义、逻辑、演算以及刻画句法和语义之间关系的完全性定理；模型论内容；集合论知识；哥德尔第二不完全定理及其所需的递归...