形式演绎系统<em>L</em><sup>*</sup>中封闭理论的性质及其应用

吴洪博, 梁颖

The Properties of Closed Theories with Its Application in the Formal Deductive System L^*

Hong Bo WU, Ying LIANG

数学学报 . 2018, (1): 123 -134 . DOI: 10.12386/A2018sxxb0012