（美）J.D.麦考莱著；王维贤，徐颂列，黄华新等译2011 年出版515 页ISBN：9787308091329
本书为“语言与认知译丛”之一。该书的作者被誉为二十世纪最伟大的语言学家之一。本书是一部有用的逻辑学教材，着重于自然语言的分析，在逻辑学与语言学的交叉研究方面进行了富有创新意义的探讨。...
任晓明，桂起权著2011 年出版235 页ISBN：9787310037346
在借鉴国际逻辑哲学最新成果的基础上，本书探讨了逻辑哲学面向21世纪学术研究的前沿问题，着重探讨非经典逻辑系统如何产生、发展。
倪荫林著2006 年出版274 页ISBN：7501437483
本书遵从以往普通逻辑体系内容的框架，以探讨疑难理论问题为核心或重点，同时注意兼顾内容的系统性，以增强读者对内容理解的连贯性。
陈伟著2017 年出版276 页ISBN：9787309128703
20世纪50年代，逻辑学开始出现一种语用学转向。现在，在一定程度上可以说，非形式逻辑已经发展成为一门学科，它不但是逻辑学的一个重要分支，而且在相关学科表现出非常强的应用性。本书首先介绍非形式逻辑的兴起、定...
李娜编著2000 年出版186 页ISBN：7810417495
国家社会科学出版基金资助项目河南大学学术著作和教材出版基金资助:本书通过建立一阶算术系统PQC以及其他一些方法来证明歌德尔不完全性定理的成立。还论述了关于公理集合论的研究成果。...
杜珊珊，康宏逵著2017 年出版244 页ISBN：9787030530813
图书回顾了传递的濒表格逻辑的研究发展历史，叙述了传递的濒表格逻辑判据的证明、应用过程，试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模...
