（美）布勒斯（Boolos，G.S.）等著2003 年出版356 页ISBN：7505388282
本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...
（德）曼弗雷德·平克尔著；郭曙纶，李学宁译2017 年出版341 页ISBN：9787519240691
语义标示不足是自然语言既基本又普遍的性质。这本专著对模糊性领域的各种现象做了全面的调查。书中论述了语义不确定性的主要理论（这些理论是针对语言学、哲学和计算机科学等领域提出的），主张把不确定性看作进...
贺鲲鹏著2015 年出版279 页ISBN：9787551710060
本书以形式逻辑的推理形式为研究对象，主要分为简单命题推理形式研究、复合命题推理形式研究和模态命题推理形式研究三大部分内容。在每一部分中首先介绍该种推理形式所需具备的理论基础，然后详细的分析各种推...
王萌主编2015 年出版215 页ISBN：9787513036276
图像研究室画册，主题：水墨进程中的一种显象逻辑。目录：图像研究——绘画新观察的一种切入；闲画头话；对观幻境，探幽现实； 自言自语；孤芳自赏的静物；创作自述；画叙花语；对绘画的再认识；当技艺术成为意义；......
（美）罗伯特·特里弗斯著；孟盈珂译2016 年出版253 页ISBN：9787111517702
当我们坐在驾驶舱中准备奔赴战场，或是身处一段爱情关系，一场办公室纠纷中的时候，我们有太多的机会欺骗和自欺，虽然我们也能意识到这么做有多么脱离现实，会带来多么可怕的灾难。但是我们还是会这么做。这本书主要...
侯伯亨，刘凯，顾新编著2014 年出版356 页ISBN：9787560634265
本书是原书第三版的简明版，删去了原书中的有关内容和附录A，以便于阅读和使用。该书系统地介绍了用VHDL语言设计数字系统和数字逻辑电路硬件的方法。工程实例丰富，便于学习和理解，对从事实际电子电路设计人员有...
中国逻辑学会中国逻辑史专业委员会编写2011 年出版607 页ISBN：9787500498445
中国逻辑史专业委员会原名中国逻辑史研究会，是在杨芾荪、温公颐、虞愚、李匡武等四位前辈的联合倡议下，于1980年12月在广州越秀宾馆成立的，至今已有30个年头；这四位倡议者，如今虽然都已作古，而他们所倡议的中国逻...
博尔主编；陆爽，张丹丹，张亚娟等编2014 年出版183 页ISBN：9787229087883
《逻辑推理》是《哈佛学生喜欢玩的智趣游戏》系列中的一本书。本书的特点是以“逻辑”和“推理”为主要基点，充分整合各种富含幽默、智慧的习题资料，将游戏性和趣味性与学习进行充分地融合，为拓展儿童的逻辑推...
（美）小威廉·H.休厄尔著；朱联璧，费滢译2012 年出版405 页ISBN：9787208111301
本书是美国历史学者小威廉·休厄尔的代表作，收集了作者多年来在历史社会学领域的若干重要论文。本书中，作者注意到社会科学（尤以社会学为代表）与历史学之间理论对话，并这一学术现状提出了直言不讳的批评。作者认...
高飞著2018 年出版233 页ISBN：9787535299635
这是一本让人通过提问达成沟通目标的励志书。很多时候，我们的对话都流于形式，处在一种“标准程序”的层面——如何提问、回答，似乎均有迹可循。在这本书里，我们没有仅仅把提问当作一种对话工具来普及它的套路，而...
