汉语计算语言学 汉语形式语法和形式分析

本书讨论汉语传统语法及汉语形式语法与形式分析的内容

逻辑探索留踪 彭漪涟逻辑论文选集

本书精选作者有代表性的论文50余篇，较集中体现了作者逻辑学方面的学术观点和思想，对逻辑科学的教学和科研有重要参考价值。

弗雷格逻辑哲学与现代数理逻辑思潮

弗雷格是现代逻辑和语言哲学的创始人。本书扣住弗雷格的逻辑主义来研究逻辑哲学思想。

法律逻辑 关于法律逻辑理论与应用分析的思考与探索

新约的世界图景逻辑：第1卷 引论：新约的历史逻辑

当代哲学问题研读指针丛书 非形式逻辑思想渊源

20世纪50年代，逻辑学开始出现一种语用学转向。现在，在一定程度上可以说，非形式逻辑已经发展成为一门学科，它不但是逻辑学的一个重要分支，而且在相关学科表现出非常强的应用性。本书首先介绍非形式逻辑的兴起、定...

从学科逻辑到实践逻辑 地方本科院校课程发展研究

数理逻辑基础 一阶逻辑与一阶理论

本书介绍数理逻辑的基础部分。

时序逻辑程序设计与软件工程 上 时序逻辑语言

民国丛书 第3编 9 哲学宗教类 逻辑指要 逻辑