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