MARC状态：审校 文献类型：中文图书 浏览次数：63
- 题名/责任者:
- 符号逻辑讲义/徐明编
- 出版发行项:
- 武汉:武汉大学出版社,2008
- ISBN及定价:
- 978-7-307-06553-6/CNY58.00
- 载体形态项:
- 581页;24cm
- 并列正题名:
- Symbolic logic
- 丛编项:
- 高等院校哲学专业核心课程教材
- 个人责任者:
- 徐明 编
- 学科主题:
- 数理逻辑-高等学校-教材
- 中图法分类号:
- O141-43
- 书目附注:
- 有书目 (第557-562页) 和索引
- 提要文摘附注:
- 本书共分四编：命题逻辑、命题演算、谓词逻辑和谓词演算。全书内容涉及符号化、语义学、费奇式推演、弗雷格-希尔伯特式系统和简单的元定理及其证明。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O141-43/2 | C001112963 | 2008 |  理科阅览区
|
可借 | 总服务台 |
| O141-43/2 | C001112964 | 2008 | 理科阅览区
|
借出-应还日期：2026-12-21 | |
| O141-43/2 | C001160510 | 2008 | 理科阅览区
|
可借 |
显示全部馆藏信息