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

丁世尤主编1983 年出版160 页ISBN：5110·2

力群著1958 年出版82 页ISBN：T2086·7

孙正聿著2007 年出版265 页ISBN：7206051685

本书从辩证法的批判本质出发，深入探讨了构成辩证法作为发展学说的实质内容。收录的是作者《理论思维的前提批判》一书，阐述了作者“前提批判”的哲学观念。...

孙正聿著2007 年出版297 页ISBN：7206051685

（苏）N·A·格鲁季著军事科学院外军部翻译组译1983 年出版0 页ISBN：

中山医学院编写组编1980 年出版88 页ISBN：2012·022

刘化绵，单秀法著1984 年出版329 页ISBN：2106·82

华山医院等编1976 年出版199 页ISBN：2171·92

全国社会主义社会辩证法问题学术讨论文集编选小组编1985 年出版539 页ISBN：2111·47

石纯一，王家廞编著2000 年出版224 页ISBN：7302040427

《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与...