|
题名:
|
数理逻辑入门 / Raymond M. Smullyan著 , 刘新文 ... [等] 译 |
|
ISBN:
|
978-7-5184-2183-1 价格： CNY68.00 |
|
语种:
|
chi |
|
载体形态:
|
370页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 中国轻工业出版社 出版日期： 2019 |
|
内容提要:
|
本书是一本数理逻辑导论教材, 主要介绍数理逻辑的基础知识, 包括命题逻辑、一阶逻辑、不完全性定理及不完全性证明等, 并穿插对逻辑学家的介绍以及对数理逻辑基本概念的说明, 以给高校学生和大众读者介绍关于数理逻辑的一般知识, 帮助其提高在日常生活中的推理和论证能力。 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： 5 |
|
主要责任者:
|
斯穆里安 著 |
|
次要责任者:
|
刘新文 译 |
|
次要责任者:
|
张瑜 译 |
|
责任者附注:
|
责任者规范汉译姓: 斯穆里安 |
|
责任者附注:
|
雷蒙德·M. 斯穆里安 (Raymond M. Smullyan, 1919-2017), 世界著名逻辑学家、数学家, 也是一位职业钢琴演奏家和职业魔术师。 |
|
索书号:
|
3 |
|
索书号:
|
3 |