数理逻辑入门
暂无封面,等待上传

数理逻辑入门

(美) 雷蒙德·M.斯穆里安 (Raymond M. Smullyan) , 著

出版社:中国轻工业出版社

年代:2019

定价:52.0

书籍简介:

本书是一本数理逻辑导论教材,主要介绍数理逻辑的基础知识,包括命题逻辑、一阶逻辑、不完全性定理及不完全性证明等,并穿插对逻辑学家的介绍以及对数理逻辑基本概念的说明,以给高校学生和大众读者介绍关于数理逻辑的一般知识,帮助其提高在日常生活中的推理和论证能力。

书籍规格:

书籍详细信息
书名数理逻辑入门站内查询相似图书
9787518421831
如需购买下载《数理逻辑入门》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位中国轻工业出版社
版次1版印次1
定价(元)52.0语种简体中文
尺寸24 × 17装帧平装
页数印数

书籍信息归属:

数理逻辑入门是中国轻工业出版社于2018.12出版的中图分类号为 O141 的主题关于 数理逻辑-教材 的书籍。