|
题名:
|
数理逻辑入门 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 译 |
|
责任者附注:
|
责任者Smullyan规范汉译姓 : 斯穆里安 |
|
责任者附注:
|
Raymond M. Smullyan(1919-2017)，世界著名逻辑学家、数学家，也是一位职业钢琴演奏家和职业魔术师。1959年普林斯顿大学获得哲学博士学位。先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。著有《形式系统的理论》《一阶逻辑》等。 |
|
责任者附注:
|
刘新文，中国社会科学院哲学博士，中国社会科学院哲学所研究员。出版专著《图式逻辑》《谢弗函数研究》等。 |
|
索书号:
|
O141/4290 |