|
题名:
|
模态对应理论 / (荷) 约翰·范本特姆著 , 张清宇, 刘新文译 |
|
ISBN:
|
978-7-03-027865-4 价格： CNY56.00 |
|
语种:
|
chi |
|
载体形态:
|
250页 图 25cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2010 |
|
内容提要:
|
本书分为模态逻辑和经典逻辑和模态对应理论新进展两篇，其内容包括：模态命题逻辑的简要概述、模态公式的一阶可定义性、模态可定义性、高附可定义性等。 |
|
主题词:
|
模态逻辑 |
|
中图分类法:
|
B815.1-53 版次： 4 |
|
中图分类法:
|
B815.1 版次： 4 |
|
主要责任者:
|
范本特姆, 著 |
|
次要责任者:
|
张清宇 译 |
|
次要责任者:
|
刘新文 译 |
|
索书号:
|
B815.1/4524-1 |