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

中南民族学院编印1956 年出版240 页ISBN：

李辛生主编1987 年出版305 页ISBN：7218000835

于光远等编1988 年出版628 页ISBN：7030000145

罗克汀著1957 年出版102 页ISBN：T2111·13

张霭珠著2004 年出版220 页ISBN：7309042379

本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...

蔡曙山著2007 年出版0 页ISBN：

柴生秦主编2008 年出版340 页ISBN：

（苏）凯列（В.Ж.Келле）著；中国人民大学哲学教研室资料室整理1956 年出版252 页ISBN：

盛建伦编著2012 年出版246 页ISBN：9787302290643

本书内容包括逻辑代数基础、门电路、VHDL语言基础、组合逻辑电路、时序逻辑电路、半导体存储器等内容。

湖北省《辩证唯物主义与历史唯物主义》编写组编1981 年出版359 页ISBN：210658