MARC状态：审校 文献类型：中文图书 浏览次数：77
- 题名/责任者:
- 数理逻辑/邢滔滔著
- 出版发行项:
- 北京:北京大学出版社,2008
- ISBN及定价:
- 978-7-301-11255-7/CNY28.00
- 载体形态项:
- 274页;23cm
- 丛编项:
- 博雅大学堂.哲学
- 个人责任者:
- 邢滔滔 著
- 学科主题:
- 数理逻辑-高等学校-教材
- 中图法分类号:
- O141
- 一般附注:
- 普通高等教育“十·五”国家级规划教材
- 书目附注:
- 本书第272-274页附有书目
- 提要文摘附注:
- 本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O141/133 | 71316485 | - |  临安密4(信息工程学院)(不可借)
|
非可借 | 临安密4(信息工程学院)(不可借) |
| O141/133 | 71316488 | - | 临安密4(信息工程学院)(不可借)
|
非可借 | 临安密4(信息工程学院)(不可借) |
| O141/133 | 71316484 | - | 临安密1(信息工程学院)(不可借)
|
非可借 | 临安密1(信息工程学院)(不可借) |
| O141/133 | 71316486 | - | 临安密1(信息工程学院)(不可借)
|
非可借 | 临安密1(信息工程学院)(不可借) |
| O141/133 | 71316487 | - | 临安密1(信息工程学院)(不可借)
|
非可借 | 临安密1(信息工程学院)(不可借) |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架