该窗口仅用于预约该书电子版,如后续有匹配资源将进行回复并报价。(扫描页面二维码添加微信好友代寻更高效)
(荷) 范本特姆 (Van Benthem,J.F.A.K.) , 著
出版社:科学出版社
年代:2010
定价:65.0
本书是由我们翻译的世界著名逻辑学家范本特姆的14篇论文组成,约35万字。我们以语言逻辑为核心挑选出了14篇引用率最高的论文。论文的发表时间从1970年代到2007年,内容涵盖了关于自然语言形式化的研究,形式语言中的量词理论,范畴语法,特别是形式语言与可计算性和人类的语言认知能力的关系等热门问题。读者对象:逻辑专业、数学专业,对计算机专业的学生和学者也同样适用。
模态对应理论是科学出版社于2010.6出版的中图分类号为 B815.1-53 的主题关于 模态逻辑-文集 的书籍。
张力锋, 著
马明辉, 著
金顺福, 张清宇, 张家龙, 著
史璟, 著
裘江杰, 著
李娜, 编著
姚从军, 著