马希文(1939-2000年)为我国计算语言学尊基人.与朱德熙先生共同组建北大计算语言学研究所. 　　本书收集了马希文20世纪70年代以来在数学、计算机科学、人工智能、语言学（包括计算语言学）方面的重要论述20余篇，专著1著，以及70年代以前的重要数学论文4篇。其深逐独到，极富创新的学术思想，对今天信息技术的发展及多学科的交叉融合，有着积极的指导意义。

本书收集了马希文20世纪70年代以来在数学、计算机科学、人工智能、语言学方面的重要论文二十余篇以及一部专著，反映了他在多个领域所做的开创性、先驱性及前瞻性的贡献，蕴含着深邃独到、极富创新的学术思想，对当今信息技术的发展及多学科的交叉融合有重要启发，具有积极的指导意义。

本书以计算机科学中的可计算性理论和计算复杂性理论为背景，以生活的比喻，介绍这一领域的基础知识和主要研究成果。

本书以计算机科学中的可计算性理论和计算复杂性理论为背景，以生活的比喻，介绍这一领域的基础知识和主要研究成果。

本书是德里达的一份未完成手稿，是他去世后在其家中发现的。1971-1972 年，德里达在巴黎高师开设了名为“18 世纪的哲学和修辞学：孔狄亚克与卢梭”的研讨班，由此诞生了两份手稿:《肤浅的考古学》(1973年出版）和本书《语言的计算》(2020年出版）。 《语言的计算》是对孔狄亚克的《计算的语言》的解构，书名显然是对孔狄亚克书名的反转。不同于一般书籍，它分为左右两列，称为“双柱体”。左列内容与高师研讨班第一讲的内容基本相同，右列是德里达专门撰写的一篇文章，是对左列主题的补充和回应。这种双栏式写作方式既与孔狄亚克著作有关（一个双重文本，由连接、组合和衔接的主题所主导），也与研讨班的主题和阅读方式有关：修辞学和哲学的研讨，两门学科相互缠绕在一起。因而，本书是德里达的一部独特而新颖的杰作，是解构主义写作中最漂亮的实验之一。

《语言的逻辑句法》，本书作者卡尔纳普哲学思想的发展，一般说来，有语义、句法、语用三个阶段。在句法这个阶段，他强调把哲学变成科学语言的元语言——即句法。旨在把科学研究的内容与科学的语言形式分别开来。他认为，内容或对象属于具体的自然科学范围，与哲学无关。

本书以汉语为研究对象，探讨作为过程语言的汉语如何影响被称作关联性思维的汉民族思维的样式，进而如何影响中国传统逻辑的产生和引申及发展，并在此基础上探讨了中国传统逻辑的特质。本书既有对汉语特征的描述，也有对中国逻辑特质的概括，是汉语和中国传统逻辑交叉研究的深度探索。适合作从事中国逻辑史、语言逻辑、比较文化研究的参考书目。

本书以汉语为研究对象，探讨作为过程语言的汉语如何影响被称作关联性思维的汉民族思维的样式，进而如何影响中国传统逻辑的产生和引申及发展，并在此基础上探讨了中国传统逻辑的特质。本书既有对汉语特征的描述，也有对中国逻辑特质的概括，是汉语和中国传统逻辑交叉研究的深度探索。适合作从事中国逻辑史、语言逻辑、比较文化研究的参考书目。

本书主要利用现代逻辑、现代语言学、心理学、人工智能等学科交叉的优势，基于现代逻辑的理论和方法，注重逻辑、语言与认知的深度结合，从如下四大方向入手探讨“信息交互中的主体认知”。包括自然语言的逻辑刻画和语用分析、论辩语义与论辩结构、主体互动与偏好博弈以及隐喻认知和计算建模。

《逻辑、语言与意义》是国内外第一部系统全面的逻辑和语言学跨学科的逻辑语法（也叫形式语义学或语言逻辑）教材。由荷兰五位逻辑学、语言学学者合作撰写，并共用“哈姆特”之名出版。 全书分为两卷，第一卷从分析自然语言的需要出发，系统地介绍了现代逻辑的基础部分（古典命题逻辑和谓词逻辑）、现代逻辑的变异部分（多值逻辑），以及进行形式语言学研究所需要的其他知识（语用学和形式文法等内容）。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍，它以自然语言语义研究为目的，主要介绍有关的思想背景。讲解深入浅出，很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透，精心介绍了相关的核心发展成果，加上丰富的例子，可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。