逻辑代数入门 大学下放课程辅导 【数理化】

集合论与数理逻辑初步 【数理化】

逻辑代数与BASIC语言双基训练 【数理化】

数理逻辑实验教程 【数理化】

本书介绍了三个在线逻辑软件和LPL逻辑软件包的使用，简单命题、复合命题、命题逻辑，量词的引入和量词的逻辑介绍。适合相关专业学生使用。...

数理逻辑 【数理化】

本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。...

数理逻辑与范畴论应用 【数理化】

国家自然科学基金教育部博士点基金资助项目。

近代逻辑科学方法学基本名词词典 【数理化】

数理逻辑论文选 第1辑 【数理化】

论量子力学的唯物主义解释 【数理化】

相似数学逻辑 【数理化】

本书主要介绍相似数学逻辑，主要内容包括数学概念，数学命题，数学推理，数学证明，逻辑基础等。本书可作为从事数学专业学习与工作的有关人员的数学认识论的入门参考书，也可作为从事其它专业工作的数学业余爱好者的.....