|
000
|
00920nam 2200277 450
|
|
001
|
012009025802
|
|
005
|
20090428162838.14
|
|
010
|
|
@a978-7-301-11255-7@dCNY28.00
|
|
100
|
|
@a20090428d2008 em y0chi0120 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@ay a 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a数理逻辑@Ashu li luo ji@f邢滔滔著@Fxing tao tao zhu
|
|
210
|
|
@a北京@c北京大学出版社@d2008.08
|
|
215
|
|
@a274页@d23cm
|
|
225
|
2
|
@a博雅大学堂·哲学@Abo ya da xue tang·zhe xue
|
|
300
|
|
@a普通高等教育“十一五”国家级规划教材
|
|
320
|
|
@a有书目 (第272-274页)
|
|
330
|
|
@a本书介绍一阶逻辑的最基本的知识技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。
|
|
410
|
0
|
@12001 @a博雅大学堂·哲学
|
|
606
|
0
|
@a数理逻辑@Ashu li luo ji@x高等教育@j教材
|
|
690
|
|
@aO141@v4
|
|
701
|
0
|
@a邢滔滔@Axing tao tao@4著
|
|
801
|
0
|
@aCN@bQSSK@c20090428
|
|
905
|
|
@b737937-39@dO141@eX615@f3
|
|
|
|
|
| |
| 数理逻辑/邢滔滔著.-北京：北京大学出版社，2008.08 |
| 274页；23cm.-(博雅大学堂·哲学) |
| 普通高等教育“十一五”国家级规划教材 |
| |
| ISBN 978-7-301-11255-7：CNY28.00 |
| 本书介绍一阶逻辑的最基本的知识技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。 |
| ● |
正题名：数理逻辑
索取号：O141/X615
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
737937
|
207379371
|
自科库401/401自科库 40排2列4层/
[索取号:O141/X615]
|
在馆
|
|
|
2
|
737938
|
207379380
|
自科库401/401自科库 40排2列4层/
[索取号:O141/X615]
|
在馆
|
|
|
3
|
737939
|
207379399
|
自科库401/401自科库 40排2列4层/
[索取号:O141/X615]
|
在馆
|
|
