MARC状态：审校 文献类型：中文图书 浏览次数：66
- 题名/责任者:
- 数理逻辑引论/朱梧槚, 肖奚安编著
- 出版发行项:
- 大连:大连理工大学出版社,2008
- ISBN及定价:
- 978-7-5611-4033-8/CNY34.00
- 载体形态项:
- 243页;24cm
- 个人责任者:
- 朱梧槚 编著
- 个人责任者:
- 肖奚安 编著
- 学科主题:
- 数理逻辑-高等学校-教材
- 中图法分类号:
- O141
- 提要文摘附注:
- 本书的主要内容是讨论经典二值逻辑演算系统的语形和研义研究。全书共分为5章，其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义和与构造；第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容；第5章是有关经典二值逻辑系统的严格的语义研究。
- 使用对象附注:
- 高等学校理工科数学类规划教材
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O141/244 | 71309501 | - |  临安密4(信息工程学院)(不可借)
|
非可借 | 临安密4(信息工程学院)(不可借) |
| O141/244 | 71309502 | - | 临安密4(信息工程学院)(不可借)
|
非可借 | 临安密4(信息工程学院)(不可借) |
| O141/244 | 71309503 | - | 临安密1(信息工程学院)(不可借)
|
非可借 | 临安密1(信息工程学院)(不可借) |
| O141/244 | 71309504 | - | 临安密1(信息工程学院)(不可借)
|
非可借 | 临安密1(信息工程学院)(不可借) |
| O141/244 | 71309505 | - | 临安密1(信息工程学院)(不可借)
|
非可借 | 临安密1(信息工程学院)(不可借) |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架