bibliographic details
： 数理逻辑入门
bibliographic information Machine-Readable Catalogue
| ISBN/价格： | 978-7-5184-2183-1:CNY68.00 |
|---|---|
| 作品语种： | chi eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 数理逻辑入门/.(美) Raymond M. Smullyan著/.刘新文 ... [等] 译 |
| 出版发行项： | 北京:,中国轻工业出版社:,2019 |
| 载体形态项： | 370页:;+24cm |
| 提要文摘： | 作为一位终生思考如何以好的方式表达数理逻辑问题的学者，作者在该书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识；特别是以简单易懂的形式阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表。 |
| 并列题名： | Beginner's guide to mathematical logic eng |
| 题名主题： | 数理逻辑 教材 |
| 中图分类： | O141 |
| 个人名称等同： | 斯穆里安 著 |
| 个人名称次要： | 刘新文 译 |
| 个人名称次要： | 张瑜 译 |
| 个人名称次要： | 荣华夏 译 |
| 个人名称次要： | 闫佳亮 译 |
| 个人名称次要： | 张立英 译 |
| 记录来源： | CN 北京新华书店首都发行所有限公司 20190521 |
| 记录来源： | CN PUL 20191122 |
| 记录来源： | CN HUNN 20191122 |