MARC状态:审校 文献类型:中文图书 浏览次数:8
- 题名/责任者:
- 数理逻辑引论/李涛,张岩,刘峰主编
- 版本说明:
- 第2版
- 出版发行项:
- 哈尔滨:哈尔滨工业大学出版社,2016
- ISBN及定价:
- 978-7-5603-6146-8/CNY19.80
- 载体形态项:
- 139页;21cm
- 个人责任者:
- 李涛 主编
- 个人责任者:
- 张岩 主编
- 个人责任者:
- 刘峰 主编
- 学科主题:
- 数理逻辑-高等学校-教材
- 中图法分类号:
- O141
- 一般附注:
- 高等学校“十二五”规划教材
- 载体形态附注:
- 实际页数为:140
- 提要文摘附注:
- 本书共分5章,分别介绍了数理逻辑的研究对象、研究内容和研究方法;命题逻辑的基本概念、命题逻辑演算形式系统的组成等内容。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 |
O141/27-2 | S3169173 | - | 总馆—自然书库(凤阳) | 可借 |
O141/27-2 | S3169174 | - | 总馆—自然书库(凤阳) | 可借 |
显示全部馆藏信息