书名:[图灵计算机科学丛书]数理逻辑 第2版
出版社:人民邮电出版社
作者:(美)Herbert B.Enderton著
出版年份:2007
电子书格式: pdf
简介:《[图灵计算机科学丛书]数理逻辑 第2版》由(美)Herbert B. Enderton 著,人民邮电出版社2007年出版。本书深入探讨了数理逻辑的基本概念和理论,包括命题逻辑、谓词逻辑、证明论和模型论等内容,适合计算机科学、数学和哲学领域的学生及研究人员阅读。多考网提供海量电子书免费下载服务,点击下载《数理逻辑》电子书,开启逻辑思维之旅。
ISBN:9787115143112, 71151