| 字段 | 字段内容 |
|---|---|
| 001 | 01h1339741 |
| 005 | 20251120102104.0 |
| 010 | $a: 978-7-5685-4035-3$d: CNY69.00 |
| 100 | $a: 20251120d2023 em y0chiy50 ea |
| 101 | $a: chi |
| 102 | $a: CN$b: 210000 |
| 105 | $a: ak a 000yy |
| 106 | $a: r |
| 200 | $a: 数理逻辑引论$A: shu li luo ji yin lun$d: = Introduction to mathematical logic$f: 朱梧槚 ... [等] 编著$z: eng |
| 205 | $a: 第2版 |
| 210 | $a: 大连$c: 大连理工大学出版社$d: 2023 |
| 215 | $a: 263页$c: 图$d: 24cm |
| 304 | $a: 题名页题其余责任者：肖奚安、朱朝晖、周勇 |
| 320 | $a: 有书目 (第231-232页) |
| 330 | $a: 本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。 |
| 510 | $a: Introduction to mathematical logic$z: eng |
| 606 | $a: 数理逻辑$A: shu li luo ji |
| 690 | $a: O141$v: 5 |
| 701 | $a: 朱朝晖$A: zhu chao hui$4: 编著 |
| 801 | $a: CN$b: BUCTL$c: 20251120 |
| 905 | $d: O141$r: CNY69.00$e: 62$a: BUCTLIB |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第107663955位用户访问本系统