中国科学院数学与系统科学研究院期刊网
组合逻辑中的一个新的(ξ)规则
宋方敏
数学学报 . 1997, (5):  .  DOI: 10.12386/A1997sxxb0092