名称 数理逻辑
索引号 O141/20075
分类号 O141
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 恩德托恩、沈复兴、陈磊、孙运传、
出版社 北京 : 人民邮电出版社, 2007
ISBN 978-7-115-14311-2
页数 240页 : 图 ; 26cm
价格 CNY35.00
标签 数理逻辑、数学、逻辑、逻辑学、计算机、计算机科学、数学基础、经典、
简介
注解 据原书英文版第2版译出 本书简体中文版由Elsevier (Singapore) Pte Ltd.授权人民邮电出版社在中国境内出版发行 编目员自译责任者汉译姓为: 恩德托恩 有索引
书籍简介

《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。