[图灵计算机科学丛书]数理逻辑 第2版（（美）Herbert B.Enderton著）（人民邮电出版社 2007）

  • 书名：[图灵计算机科学丛书]数理逻辑 第2版
  • 出版社：人民邮电出版社
  • 作者：（美）Herbert B.Enderton著
  • 出版年份：2007
  • 电子书格式： pdf
  • 简介：《[图灵计算机科学丛书]数理逻辑 第2版》由（美）Herbert B. Enderton 著，人民邮电出版社2007年出版。本书深入探讨了数理逻辑的基本概念和理论，包括命题逻辑、谓词逻辑、证明论和模型论等内容，适合计算机科学、数学和哲学领域的学生及研究人员阅读。多考网提供海量电子书免费下载服务，点击下载《数理逻辑》电子书，开启逻辑思维之旅。
  • ISBN：9787115143112, 71151
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。