字段 | 字段内容 |
---|---|
001 | 01h0141388 |
005 | 20070721094835.0 |
010 | $a: 978-7-115-14311-2$d: CNY35.00 |
100 | $a: 20070206d2007 em y0chiy0110 ea |
101 | $a: chi$c: eng |
102 | $a: CN$b: 110000 |
105 | $a: y z 001yy |
106 | $a: r |
200 | $a: 数理逻辑$9: shu li luo ji$d: A mathematical introduction to logic$f: (美)Herbert B. Enderton著$g: 沈复兴, 陈磊, 孙运传译$z: eng |
210 | $a: 北京$c: 人民邮电出版社$d: 2007 |
215 | $a: 240页$d: 26cm |
225 | $a: 图灵计算机科学丛书 |
305 | $a: 据原书第二版译出 |
320 | $a: 有索引(第231-240页) |
330 | $a: 本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题。 |
461 | $1: 2001 $a: 图灵计算机科学丛书 |
510 | $a: Mathematical introduction to logic$e: second edition$z: eng |
606 | $a: 数理逻辑$j: 教材 |
690 | $a: O141$v: 4 |
701 | $c: (美)$a: 恩德藤$9: en de teng$b: H.B.$g: (Enderton, Herbert B.)$4: 著 |
702 | $a: 孙运传$9: sun yun chuan$4: 译 |
801 | $a: CN$b: FZULIB$c: 20070721 |
905 | $f: 20070159$h: 3$e: 117$d: O141$r: CNY35.00 |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第2301103位用户访问本系统