字段 字段内容
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位用户访问本系统

0