MARC状态：审校 文献类型：中文图书 浏览次数：15
- 题名/责任者:
- 模态对应理论/(荷)约翰·范本特姆著 张清宇，刘新文译
- 出版发行项:
- 北京:科学出版社,2010.07
- ISBN及定价:
- 978-7-03-027865-4/CNY56.00
- 载体形态项:
- 10,250页:图;24cm
- 丛编项:
- 逻辑之门——约翰·范本特姆经典著作;3
- 个人责任者:
- (荷) 范本特姆 约翰 著
- 个人次要责任者:
- 张清宇 译
- 个人次要责任者:
- 刘新文 译
- 学科主题:
- 模态逻辑-文集
- 学科主题:
- 模态逻辑
- 中图法分类号:
- B815.1
- 提要文摘附注:
- 本书分为模态逻辑和经典逻辑、模态对应理论新进展两篇。分别讲述了：模态命题逻辑的简要概述、模态公式的一阶可定义性、模态可定义性等。
全部MARC细节信息>>
奉化馆流通区(可借)