本书重点介绍面向对象空间逻辑的基本概念、运算、模型、推理规则以及应用形式。
2009.8
本书分别介绍互逆主义的逻辑演算、集合论、抽象代数、证明论与模型论、递归论。数理逻辑的三大派都是为了克...
2013.3
本书论述了近年来模糊逻辑的形式化研究的系统成果，特别是国内外众多学者近3年的最新成果。内容包括三个部...
2008.