辩证法与形式逻辑相关电子书下载

（墨）阿托卡·阿里色达著；卫屹东，宋禄华译2016 年出版193 页ISBN：7030477392

刘新文著2012 年出版196 页ISBN：9787516113790

本书以图形的表达能力为主题研究了逻辑图从欧拉开始经文恩、皮尔士、巴威斯等传承的历史发展脉络以及“图式逻辑”概念的提出进程，然后以现代逻辑的方法和技术分别详细研究了欧拉图、文恩图、皮尔士图等经典...

杨武金，沈玉梅编著2004 年出版288 页ISBN：730005336X

本书为辅导书。

列宁著；中共中央马克思、恩格斯、列宁、斯大林著作编译局译1965 年出版180 页ISBN：1001·620

（德）B. 甘特尔（Bernhard Ganter），（德）R. 威尔（Rudolf Wille）著；马垣等译2007 年出版230 页ISBN：7030152352

本书对形式概念的理论进行了全面系统的论述，为相关领域的广大工作者提供了一本详尽完备的参考书和学习资料。该书理论严谨、概念清晰、文笔流畅，包含了许多国际上首次提出的数学理论。...

（苏）卡兰达节（А.М.Каландадзе）著；丁文安译1956 年出版83 页ISBN：

（英）A·G·哈密尔顿著；骆如枫等译1989 年出版294 页ISBN：7100001463

本书是数理逻辑的基础读物，对递归论、公理集合论、模型论、证明论与逻辑演算五部分的基本内容、方法作了实质性的介绍。

鞍山冶金建筑总公司财务处编著1958 年出版231 页ISBN：4066·60

王元元1989 年出版441 页ISBN：

杨祖陶著（武汉大学哲学学院）2003 年出版421 页ISBN：7307039281

本书为研究德国古典哲学理论发展之内在规律的专著。