| 字段 | 字段内容 |
|---|---|
| 001 | 01h0614397 |
| 005 | 20241114150719.0 |
| 010 | $a: 978-7-5685-4035-3$d: CNY69.00 |
| 100 | $a: 20230417d2023 em y0chiy50 ea |
| 101 | $a: chi |
| 102 | $a: CN$b: 210000 |
| 105 | $a: y 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.01 |
| 215 | $a: 263页$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: zhou yong$4: 编著 |
| 801 | $a: CN$b: 北京丰涵文化$c: 20241022 |
| 905 | $a: SXCDS$b: 01386771-3$h: 3$d: O141$e: 10$r: CNY69.00 |
| 920 | $a: 150900$z: 1 |
| 998 | $a: SXUFE |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第47307871位用户访问本系统