新型量子逻辑 确定性逻辑的超越 【数理化】

半符号逻辑 传统逻辑与符号逻辑的桥梁 【数理化】

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

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 中 【数理化】

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 下 【数理化】

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 上 【数理化】

有趣的数理逻辑 【数理化】

现代逻辑的方法 【数理化】

否定中的肯定 逻辑的故事 【数理化】

暂缺《偶然中的必然：概率的故事》简介

逻辑的语法 数学漫谈 【数理化】

数理逻辑的思想和方法 【数理化】

本书系统地讲解了数理逻辑的思想与方法