机读格式显示(MARC)
- 010 __ |a 978-7-5603-3411-0 |d CNY16.00
- 099 __ |a CAL 012012006437
- 100 __ |a 20111209d2011 em y0chiy50 ea
- 200 1_ |a 数理逻辑引论 |A shu li luo ji yin lun |f 李涛, 张岩, 刘峰主编
- 210 __ |a 哈尔滨 |c 哈尔滨工业大学出版社 |d 2011
- 225 2_ |a 高等学校“十二五”规划教材 |A gao deng xue xiao“ shi er wu” gui hua jiao cai
- 330 __ |a 本书主要内容包括:绪论、命题逻辑的基本概念、命题演算形式系统等。
- 410 _0 |1 2001 |a 高等学校“十二五”规划教材
- 606 0_ |a 数理逻辑 |A shu li luo ji |x 高等学校 |j 教材
- 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 BP |c 20111228
- 801 _2 |a CN |b SCNU |c 20120224
- 905 __ |a SCNU |f O141/4035
- 999 __ |M yinj |m 20120224 11:25:07 |G yinj |g 20120224 15:27:34
- 907 __ |a SCNU |f O141/4035