书目详细信息
： 数理逻辑入门
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5184-2183-1:CNY68.00 |
|---|---|
| 作品语种： | chi eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 数理逻辑入门/.(美) Raymond M. Smullyan著/.刘新文 ... [等] 译 |
| 出版发行项： | 北京:,中国轻工业出版社:,2019.4 |
| 载体形态项： | 370页:;+24cm |
| 提要文摘： | 作为一位终生思考如何以好的方式表达数理逻辑问题的学者，作者在该书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识；特别是以简单易懂的形式阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表。 |
| 题名主题： | 数理逻辑 教材 |
| 中图分类： | O141 |
| 个人名称等同： | 斯穆里安 著 |
| 个人名称次要： | 刘新文 译 |