数理逻辑基础 | 下册.pdf
本书陈述数理逻辑的基础知识，包括逻辑演算的基本内容．这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础． 本书共六部分，分上、下两册．下册包括第三、四、五章和两个附录．第三章陈述逻辑演算的重言式系统，并研究自然推理系统和重言式系
逻辑基础
数学无穷与中介的逻辑基础.pdf
本书讨论经典与非经典数学的基础问题，其核心主题是介绍中介数学；严格定义了潜无限、实无限和基础无限，并研讨了无穷集合的相容性问题；建立了潜无限数学系统；讲述如何改造传统造集观念；给出了古今数学物理危机中相关一流问题的解决方案。
数理逻辑基础 | 上册.pdf
本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容．这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础． 本书共六部分，分上、下两册．上册包括绪论、第一章和第二章．绪论对数理逻辑的性质，逻辑演算的大概内容，以及阅读以后各章所需要
数理逻辑基础与粒计算.pdf
本书分两部分。前四章为第一部分，讨论数理逻辑的基础知识，包括经典命题演算、经典谓词演算和非经典的模态逻辑；后两章为第二部分，包括采用逻辑方法对粒和粒计算的形式化、粒空间中基于粒计算的粒语义推理、粒计算与逻辑推理相互融合的讨论、粒计算的应用等。