物质构成的化学 趣味化学的模拟与展现

本书是一本介绍如何去做化学实验方面的科普类图书。化学对我们认识和利用物质具有重要的作用，本书通过各种有趣的化学实验，采用图文并茂的方式，向广大青少年读者展示了一个全新的化学世界。...

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

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

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 中

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 下

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 上

证明与反驳 数学发现的逻辑

本书探讨了数学发现的逻辑

数理逻辑的思想与方法

本书主要介绍了集合、集合运算的基本思想和方法、命题逻辑的思想和方法、一阶谓词逻辑的思想和方法等内容。

数学与无穷观的逻辑基础

本书主要介绍了数学无穷与数学基础，潜无限数学系统与重建实无限数学系统的构想。

数理逻辑的思想与方法

本书共分6章。第一章介绍了运算的基本思想与方法；第二章至第四章介绍了命题逻辑的思想和方法；第五六章介绍了狭谓词逻辑的基本思想与方法。...

证明与反驳 数学发现的逻辑

本书主要研究数学方法论问题。数学知识如何增长？是靠一成不变地增加千真万确的定理的数目，还是按照证明与反驳的逻辑不断改进等。