模态对应理论

本书是由我们翻译的世界著名逻辑学家范本特姆的14篇论文组成，约35万字。我们以语言逻辑为核心挑选出了14篇引用率最高的论文。论文的发表时间从1970年代到2007年，内容涵盖了关于自然语言形式化的研究，形式语言中的量词理论，范畴语法，特别是形式语言与可计算性和人类的语言认知能力的关系等热门问题。读者对象：逻辑专业、数学专业，对计算机专业的学生和学者也同样适用。