中国科学院数学与系统科学研究院期刊网
The Properties of Closed Theories with Its Application in the Formal Deductive System L*
Hong Bo WU, Ying LIANG
Acta Mathematica Sinica, Chinese Series . 2018, (1): 123 -134 .  DOI: 10.12386/A2018sxxb0012