|
题名:
|
逻辑、信息和互动 luo ji、 xin xi he hu dong / (荷)约翰·范本特姆[John·Fan Bentmu]著 , 刘奋荣，余俊伟等译 |
|
ISBN:
|
978-7-03-020525-4 价格： CNY78.00 |
|
语种:
|
chi |
|
载体形态:
|
403页 图 21cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2008.6 |
|
内容提要:
|
本书是由我们翻译的世界著名逻辑学家范·本特姆的13篇论文组成，约35万字。我们以模态逻辑为核心挑选出了13篇引用率最高的论文。论文内容涵盖了模态逻辑的一般理论，以及模态逻辑在计算机和信息领域的应用。 |
|
主题词:
|
模态逻辑 |
|
主题词:
|
模态逻辑 |
|
中图分类法:
|
B815.1-53 版次： 4 |
|
主要责任者:
|
范本特姆 fan ben te mu 著 |
|
次要责任者:
|
刘奋荣 liu fen rong 译 |
|
次要责任者:
|
余俊伟 yu jun wei 等译 |
|
附注:
|
阿姆斯特丹大学对本项目资金赞助 |
|
责任者附注:
|
约翰·范本特姆，当代世界著名逻辑学家，阿姆斯特丹大学的大学教授、斯坦福大学哲学教授，兼任中山大学客座教授等职务。 |
|
责任者附注:
|
刘奋荣，任职于清华大学人文学院哲学系副教授。 |
|
责任者附注:
|
余俊伟，任职于中国人民大学哲学院副教授。 |
|
索书号:
|
B815.1-53/4124 |