Characterizations of maximal consistent theories in the formal deductive system L* （NM-logic）and cantor space
发布时间：2021-11-19
点击次数：
- 所属单位：
- 数学与统计学院
- 发表刊物：
- 兰州大学学报(自然科学版)
- 期号：
- 42(1),101-105
- 是否译文：
- 否
- 发表时间：
- 2006-02-01