辩证唯物主义与物理学和化学的若干问题 【数理化】

逻辑代数与电子计算机简介 （高师内部交流教材） 【数理化】

数理逻辑 证明及其限度 【数理化】

本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语义部分并强调语法语义的统一。此外，本书的另一个重要目的是为了后继课程做准备，因此也是引学习者入数...

相对论逻辑自洽性探疑 【数理化】

本书回顾了狭义相对论的发展历史，对狭义相对论的重要概念和结论作了详细分析，从大量与相对论出现和发展有重要关系的原著论文中解读了狭义相对论的真正含义。...

量子力学形式逻辑与物质基础探析 上 【数理化】

本书是以量子力学及相关问题为论述对象的专著，对自然科学的数学及哲学基础进行了评述，提出了个人的观点。

量子力学形式逻辑与物质基础探析 中 【数理化】

本书是以量子力学及相关问题为论述对象的专著，对自然科学的数学及哲学基础进行了评述，提出了个人的观点。

量子力学形式逻辑与物质基础探析 下 【数理化】

本书是以量子力学及相关问题为论述对象的专著，对自然科学的数学及哲学基础进行了评述，提出了个人的观点。

1963年全国数理逻辑专业学术会议论文选集 【数理化】

数理逻辑十二讲 【数理化】

本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理论、基本推理，以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象...

逻辑、博弈与哲学践行 【数理化】

本文集的内容分为三个部分：第一部分，逻辑与哲学。本部分采用现代逻辑方法，从逻辑的形式技术上对偶然性、希望、怀疑等哲学概念构建形式系统，以得到相应的“哲学逻辑”。同时对归纳等哲学问题进行探讨。第二部分...