|
题名:
|
逻辑、信息和互动
/
(荷)约翰·范本特姆John·Fan Bentmu
,
|
|
ISBN:
|
978-7-03-020525-4
价格：
78.00
|
|
载体形态:
|
403页
21cm
|
|
出版发行:
|
出版地：
北京
出版社：
科学出版社
出版日期：
20080101
|
|
内容提要:
|
本书是由我们翻译的世界著名逻辑学家范·本特姆的13篇论文组成，约35万字。我们以模态逻辑为核心挑选出了13篇引用率最高的论文。论文内容涵盖了模态逻辑的一般理论，以及模态逻辑在计算机和信息领域的应用。
|
|
主题词:
|
模态逻辑
|
|
中图分类法:
|
B815.1-53
版次：
|