暂无相关内容，正在全力查找中
克里斯托夫·克莱里西 著 李娜 译
人物简介：
数理逻辑的思想与方法书籍相关信息
内容简介：
《数理逻辑的思想与方法》各章联系紧密，不相互独立。后面各章节中的内容，有时需要用到前面的结果。选材适当，体系完整。《数理逻辑的思想与方法》在选材上，只涉及数理逻辑的基本内容（包括命题逻辑和狭谓词逻辑），不涉及传统逻辑，也不涉及现代逻辑的其他分支。因此，《数理逻辑的思想与方法》的体系是作者的独创。另外，为了使读者更好地理解和掌握数理逻辑的思想和方法，大部分章节都配有一定量的练习。
全格式电子版 - 免费下载
