逻辑与数学逻辑论

下载此书RAR压缩包在线购买PDF电子书

汪奠基著民国 年出版268 页ISBN：

逻辑运算与逻辑电路

下载此书RAR压缩包在线购买PDF电子书

曲思武编1986 年出版113 页ISBN：7275·475

逻辑与数学逻辑论

下载此书RAR压缩包在线购买PDF电子书

汪莫基著1933 年出版268 页ISBN：

逻辑与逻辑学

下载此书RAR压缩包在线购买PDF电子书

潘梓年著1961 年出版95 页ISBN：2002·147

逻辑与数学逻辑论

下载此书RAR压缩包在线购买PDF电子书

汪奠基著1927 年出版268 页ISBN：

现代逻辑与传统逻辑

下载此书RAR压缩包在线购买PDF电子书

程仲棠著1990 年出版403 页ISBN：7810290444

经典逻辑与直觉主义逻辑

下载此书RAR压缩包在线购买PDF电子书

冯棉著1989 年出版218 页ISBN：7208006253

从古典逻辑到检证逻辑

下载此书RAR压缩包在线购买PDF电子书

林照田著1997 年出版279 页ISBN：9575995791

现代逻辑与逻辑比较研究

下载此书RAR压缩包在线购买PDF电子书

上海逻辑学会编1992 年出版348 页ISBN：7800774716

半符号逻辑 传统逻辑与符号逻辑的桥梁

下载此书RAR压缩包在线购买PDF电子书

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

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