MARC状态:审校 文献类型:中文图书 浏览次数:5
- 题名/责任者:
- 数理逻辑入门/(美)Raymond M. Smullyan著 刘新文[等]译
- 出版发行项:
- 北京:中国轻工业出版社,2019
- ISBN及定价:
- 978-7-5184-2183-1/CNY68.00
- 载体形态项:
- 370页:图;24cm
- 丛编项:
- 万千教育
- 个人责任者:
- (美) 斯穆里安 (Smullyan, Raymond M. 1919-2017) 著
- 个人次要责任者:
- 刘新文 译
- 学科主题:
- 数理逻辑-基本知识
- 学科主题:
- 基本知识
- 中图法分类号:
- O141
- 提要文摘附注:
- 本书是一本数理逻辑导论教材,主要介绍数理逻辑的基础知识,包括命题逻辑、一阶逻辑、不完全性定理及不完全性证明等,并穿插对逻辑学家的介绍以及对数理逻辑基本概念的说明,以给高校学生和大众读者介绍关于数理逻辑的一般知识,帮助其提高在日常生活中的推理和论证能力。
全部MARC细节信息>>