机读格式显示(MARC)

• 000 00983nam2 2200325 4500

• -01 __gzk0325361

• -09 __zyk0221207

• -98 __bm4

• -99 __tsg01

• 001 0000221182

• 005 20121105100040.5

• 010 __ |a 978-7-5603-3411-0 |d CNY16.00

• 100 __ |a 20111202d2011 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 230000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑引论 |A Shu Li Luo Ji Yin Lun |f 李涛, 张岩, 刘峰主编

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

• 215 __ |a 139页 |d 21cm

• 320 __ |a 有书目

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

• 606 0_ |a 数理逻辑 |A Shu Li Luo Ji |x 高等学校 |j 教材

• 690 __ |a O141 |v 4

• 701 _0 |a 刘峰 |A Liu Feng |4 主编

• 701 _0 |a 张岩 |A Zhang Yan |4 主编

• 701 _0 |a 李涛 |A Li Tao |4 主编

• 801 _0 |a CN |b 安徽新华 |c 20121105

• 905 __ |a ASTU |d O141/19

• 915 __ |d O141 |e 19 |b 2095892-3