A.C.格雷林，伦敦大学伯克贝学院哲学高级讲师、牛津大学圣安妮学院特约研究员。著有《哲学逻辑导论》（1982）、《驳怀疑论》（1986）、《贝克莱：中心论证》（1986）等书。担任《卫报》专栏作者多年，并为《观察家》、《经济学人》等刊物撰稿。

A.C.格雷林，伦敦大学伯克贝学院哲学高级讲师、牛津大学圣安妮学院特约研究员。著有《哲学逻辑导论》（1982）、《驳怀疑论》（1986）、《贝克莱：中心论证》（1986）等书。担任《卫报》专栏作者多年，并为《观察家》、《经济学人》等刊物撰稿。

《数理逻辑引论》一书是王宪钧积数十年之教学经验撰写而成，1982年由北京大学出版社出版。宪钧生前亲自对原版书中印刷错误和欠缺部分做了修订。现由其弟子邢滔滔博士按照作者修订原稿加以整理后再版。

本书是著名数理逻辑哲学家王宪钧教授的代表作，共分三篇，前两篇“命题演算”和“狭谓词演算”，讲述数理逻辑基础知识。作者对基本概念的讲解、定理和无定理的证明都详细易懂，第三篇是关于数理逻辑发展的简史，作者论述了从莱布尼茨到歌德尔的数理逻辑发展的三个阶段，指出了数理逻辑的五个特点，并就一些重要的数学问题发表了自己的见解。本书内容涉及数学、哲学、逻辑学、语言学以及科学史等诸多问题。适用于哲学、数理工作者。

本书是著名数理逻辑哲学家王宪钧教授的代表作，共分三篇，前两篇“命题演算”和“狭谓词演算”，讲述数理逻辑基础知识。作者对基本概念的讲解、定理和无定理的证明都详细易懂，第三篇是关于数理逻辑发展的简史，作者论述了从莱布尼茨到歌德尔的数理逻辑发展的三个阶段，指出了数理逻辑的五个特点，并就一些重要的数学问题发表了自己的见解。本书内容涉及数学、哲学、逻辑学、语言学以及科学史等诸多问题。适用于哲学、数理工作者。

《数理逻辑引论》一书是王宪钧积数十年之教学经验撰写而成，1982年由北京大学出版社出版。宪钧生前亲自对原版书中印刷错误和欠缺部分做了修订。现由其弟子邢滔滔博士按照作者修订原稿加以整理后再版。

《逻辑悖论研究引论（修订本）》在2012年被中国社会科学院评选为“最优影响的国内学术著作”之一，是我国逻辑悖论研究的一部重要专著。作者基于大量第一手资料的把握与分析，站在悖论研究最新成就的制高点上，以三类狭义逻辑悖论—集合论—语形悖论、语文悖论的研究为重心，系统论述了各种解悖方案的历史发展，并运用作为语用学概念的“逻辑悖论”的独特界说及RZH解悖标准，进行了全面、深入的比较研究，澄清了悖论研究的不同层面及其相互关联，揭示了当代悖论研究的主动脉和发展趋势，探讨了其哲学方向和方法论方向上的一系列重要问题，展示了逻辑悖论研究作为一个跨学科的边缘性、交叉性领域的多层面意义与价值。

《技术哲学引论》内容简介：中国技术哲学学科的确立是在1982年，科学与技术划界思想的明确提出，技术与科学存在本质性差异的确认，奠定了技术哲学学科在中国的独立地位。 《技术哲学引论》以技术哲学中的10个基础问题为起点，响亮地回答了“在技术中是否存在令人信服的哲学问题”。全书论述了技术哲学的研究对象、发展历史和基本问题、技术的基本特点、技术与社会的相互关系等。作为中国技术哲学的创始人，本书是陈昌曙先生在该领域的重要代表著作。 《技术哲学引论》可作为全国高校技术哲学必修课教材和科学技术哲学专业研究生参考用书，对从事技术相关的工作者具有重要参考价值。