| 字段 | 字段内容 |
|---|---|
| 001 | 01h0226067 |
| 005 | 20191113145434.0 |
| 010 | $a: 978-7-5184-2183-1$d: CNY68.00 |
| 100 | $a: 20190521d2019 em y0chiy50 ea |
| 101 | $a: chi$c: eng |
| 102 | $a: CN$b: 110000 |
| 105 | $a: y a 000yy |
| 106 | $a: r |
| 200 | $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: 责任者Smullyan规范汉译姓: 斯穆里安 |
| 320 | $a: 有书目 (第329-332页) |
| 330 | $a: 作为一位终生思考如何以好的方式表达数理逻辑问题的学者，作者在该书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识；特别是以简单易懂的形式阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表。 |
| 333 | $a: 本书非常适合作为数理逻辑入门教材。 |
| 500 | $1: 0$a: Beginner's guide to mathematical logic$m: Chinese |
| 606 | $a: 数理逻辑$A: shu li luo ji$j: 教材 |
| 690 | $a: O141$v: 4 |
| 701 | $a: 斯穆里安$A: si mu li an$g: (Smullyan, Raymond M. ),$f: 1919-2017$4: 著 |
| 702 | $a: 刘新文$A: liu xin wen$4: 译 |
| 801 | $a: CN$b: BUCTL$c: 20191113 |
| 905 | $d: O141$r: CNY68.00$e: 44$a: BUCTLIB |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第107773714位用户访问本系统