数学无穷与中介的逻辑基础

本书内容分为两篇,共5章。第一篇讨论经典与非经典数学的理论基础问题。分两章陈述,其中第一章研讨精确性...

2012.6

错误系统

本书介绍了:第一章提出并介绍错误系统的基本概念。第二章介绍一组规则G作为判断错误规则的条件,适用领域...

2012.4