中国科学院数学与系统科学研究院期刊网
Topological Description of Divergency and Consistency of Two-Valued Propositional Theories
Guo Jun WANG; Yan Hong SHE
Acta Mathematica Sinica, Chinese Series . 2007, (4): 841 -850 .  DOI: 10.12386/A2007sxxb0098