刘新文著2012 年出版196 页ISBN：9787516113790
本书以图形的表达能力为主题研究了逻辑图从欧拉开始经文恩、皮尔士、巴威斯等传承的历史发展脉络以及“图式逻辑”概念的提出进程，然后以现代逻辑的方法和技术分别详细研究了欧拉图、文恩图、皮尔士图等经典...
马佩著2006 年出版332 页ISBN：7810914529
本书稿是一本辩证逻辑专著，它构建了一个真正是逻辑学而不是哲学的辩证逻辑体系，分别论证了三个层次的内容：人类思维发展的三个阶段及辩证逻辑的对象及其与其他科学的关系；形成各种辩证思维形式的基本方法及方式...
（英）A·G·哈密尔顿著；骆如枫等译1989 年出版294 页ISBN：7100001463
本书是数理逻辑的基础读物，对递归论、公理集合论、模型论、证明论与逻辑演算五部分的基本内容、方法作了实质性的介绍。
