数学学报
首页 | 本刊介绍 |  编 委 会 | 作者中心 | 期刊订阅 | 广告服务 | 相关链接联系我们
 
数学学报 英文版  
   
   
高级检索 »  
数学学报  2018, Vol. 61 Issue (1): 123-134    DOI:
论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
形式演绎系统L*中封闭理论的性质及其应用
吴洪博, 梁颖
陕西师范大学数学与信息科学学院 西安 710062
The Properties of Closed Theories with Its Application in the Formal Deductive System L*
Hong Bo WU, Ying LIANG
School of Mathematics and Information Science, Shaanxi Normal University, Xi'an 710062, P. R. China

  版权所有 © 2012 《数学学报》编辑部
京ICP备05002806号-7