书目信息 |
| 题名： |
数理逻辑
|
|
| 作者： | 邢滔滔 著 | |
| 分册： | ||
| 出版信息： | 北京 北京大学出版社 2008.08 |
|
| 页数： | 274页 | |
| 开本： | 23cm | |
| 丛书名： | 博雅大学堂·哲学 | |
| 单 册： | ||
| 中图分类： | O141 | |
| 科图分类： | ||
| 主题词： | 数理逻辑--shu li luo ji--高等教育--教材 | |
| 电子资源： | ||
| ISBN： | 978-7-301-11255-7 | |
| 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] | 在馆 |