2014 年出版156 页ISBN：9787121224324
本书基于计算机科学与技术一级学科人才培养科学理论，按照计算机科学与技术学科系列教材一体化设计的纲要，全面介绍了康托素朴集合论的基本内容，包括集合的基本概念和基本运算、映射与关系、基数理论、序数理论...
2011 年出版187 页ISBN：9787303121694
本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此，本文首先定义了模态公式□α的布尔值||□α||；其次证明在该定义下，模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的...
2010 年出版445 页ISBN：9787511810854
《犯罪构成集合论》是以数学领域的集合运用于犯罪构成理论研究的最终成果。本书的特点主要是利用数学领域中的集合论对刑法领域中的犯罪构成理论从方法论上进行了大胆的尝试。...
2014 年出版246 页ISBN：9787309107104
本书是“逻辑与形而上学教科书”中的一本。书中全面介绍了集合论这一数理逻辑的重要领域，共有集合与公理；关系与函数，实数的构造，基数，滤、理想与无界闭集，集合的宇宙，可构成集，力迫等9章内容；除了讨论集合论的基本...
