本书是数理逻辑和集合论的基础语言。共8章，前5章是数理逻辑部分：第1～3章是数理逻辑，包括命题逻辑、谓词...
2016.1
本书陈述数理逻辑的基本知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支（模型论、证明论和构...
2015.11