(荷)约翰·范本特姆

《模态对应理论》,作者:(荷)约翰·范本特姆著；张清宇，刘新文译出版社:科学出版社 ISBN:9787030278654。本书分为模态逻辑与经典逻辑、模态对应理论新进展两部分，内容包括：模态命题逻辑的简要概述、模态公示的一阶可定义性、模态可定义性等。

壹号书单 2010年07月01日 0 点赞 0 评论 19 浏览

《逻辑、语言和认知》,作者:(荷)约翰·范本特姆著；刘新文，郭美云等译出版社:科学出版社 ISBN:9787030254306。本书探讨了语言与计算机逻辑相关的一些重要主题，研究了逻辑与认知科学的联系，表明“反心理学”的教条已经不复存在，逻辑理论与经验实践之间正在不断交换思想。

壹号书单 2009年10月01日 0 点赞 0 评论 16 浏览

《逻辑、信息和互动》,作者:(荷)约翰·范本特姆著；刘奋荣，余俊伟等译出版社:科学出版社 ISBN:9787030205254。本书是关于当今模态逻辑所研究的主要问题的一个论文集。全书展示了模态逻辑的发展历程，阐述了模态逻辑的数学理论。

壹号书单 2008年06月01日 0 点赞 0 评论 15 浏览

《逻辑、认识论和方法论》,作者:(荷)约翰·范本特姆著；郭佳宏，刘奋荣等译出版社:科学出版社 ISBN:9787030360281。本书探讨了语言与计算机逻辑相关的一些重要主题，研究了逻辑与认知科学的联系，表明“反心理学”的教条已经不复存在，逻辑理论与经验实践之间正在不断交换思想。

壹号书单 2013年01月01日 0 点赞 0 评论 13 浏览

(荷)约翰·范本特姆

首页

(荷)约翰·范本特姆