机读格式显示(MARC)

• 000 01653nam0 2200313 450

• 001 0000742862

• 005 20190912105400.0

• 010 __ |a 978-7-5184-2183-1 |d CNY68.00

• 100 __ |a 20190521d2019 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑入门 |A shu li luo ji ru men |d = A beginner's guide to mathematical logic |f (美) Raymond M. Smullyan著 |g 刘新文 ... [等] 译 |z eng

• 210 __ |a 北京 |c 中国轻工业出版社 |d 2019

• 215 __ |a 370页 |d 24cm

• 314 __ |a Raymond M. Smullyan (1919-2017)，世界著名逻辑学家、数学家，也是一位职业钢琴演奏家和职业魔术师。1959年普林斯顿大学获得哲学博士学位。先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。著有《形式系统的理论》《一阶逻辑》等。

• 314 __ |a 刘新文，中国社会科学院哲学博士，中国社会科学院哲学所研究员。出版专著《图式逻辑》《谢弗函数研究》等。

• 314 __ |a 责任者Smullyan规范汉译姓: 斯穆里安

• 320 __ |a 有书目 (第329-332页)

• 330 __ |a 作为一位终生思考如何以好的方式表达数理逻辑问题的学者，作者在该书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识；特别是以简单易懂的形式阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表。

• 500 10 |a Beginner's guide to mathematical logic |A Beginner's guide to mathematical logic |m Chinese

• 606 0_ |a 数理逻辑 |A shu li luo ji |j 教材

• 690 __ |a O141 |v 5

• 701 _1 |a 斯穆里安 |A si mu li an |g (Smullyan, Raymond M. ), |f 1919-2017 |4 著

• 702 _0 |a 刘新文 |A liu xin wen |4 译

• 801 _0 |a CN |b HDUL |c 20190912

• 905 __ |a HDUL |d O141/426.2

• 920 __ |a 233030 |z 1