机读格式显示(MARC)

• 000 01656nam0 2200565 450

• 001 0000251299

• 005 20170713095300.0

• 010 __ |a 978-7-5603-6146-8 |d CNY19.80

• 099 __ |a CAL 012016120353

• 100 __ |a 20160914d2016 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 230000

• 105 __ |a k a 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑引论 |A shu li luo ji yin lun |f 李涛, 张岩, 刘峰主编

• 205 __ |a 第2版 |b 修订版

• 210 __ |a 哈尔滨 |c 哈尔滨工业大学出版社 |d 2016

• 215 __ |a 139页 |d 21cm

• 300 __ |a 高等学校“十二五”规划教材

• 320 __ |a 有书目

• 330 __ |a 本书共分5章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理等内容。

• 333 __ |a 本书可用作高等院校计算机专业离散数学的教材或教学参考书，也可供从事计算机科学、人工智能方面的技术人员参考。

• 606 0_ |a 数理逻辑 |A shu li luo ji |x 高等学校 |j 教材

• 690 __ |a O141 |v 5

• 701 _0 |a 李涛 |A li tao |4 主编

• 701 _0 |a 张岩 |A zhang yan |4 主编

• 701 _0 |a 刘峰 |A liu feng |4 主编

• 801 _0 |a CN |b 北京新华书店首都发行所有限公司 |c 20160914

• 905 __ |a XATU |d O141/26=2

• 920 __ |a 211010 |z 1

• 920 __ |a 237020 |z 1

• 920 __ |a 211030 |z 1

• 920 __ |a 231030 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 242020 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 261030 |z 1

• 920 __ |a 231020 |z 1

• 920 __ |a 222010 |z 1

• 920 __ |a 237010 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 211060 |z 2

• 920 __ |a 211261 |z 1

• 920 __ |a 242440 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 430102 |z 1

• 920 __ |a 261020 |z 1

• 920 __ |a 235010 |z 1

• 920 __ |a 232020 |z 1

• 998 __ |a PUL