|
题名:
|
数理逻辑入门 [ 专著] shu li luo ji ru men / (美)Raymond M. Smullyan著 , 刘新文[等]译 |
|
ISBN:
|
978-7-5184-2183-1 价格： CNY68.00 |
|
语种:
|
chi |
|
载体形态:
|
370页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 中国轻工业出版社 出版日期： 2019 |
|
内容提要:
|
本书作者介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的数理逻辑基础知识；特别是阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表。 |
|
主题词:
|
数理逻辑 基本知识 |
|
中图分类法:
|
O141 版次： 5 |
|
主要责任者:
|
斯穆里安 si mu li an 著 |
|
次要责任者:
|
刘新文 liu xin wen 译 |