可达α^+-重言式相关硕士博士期刊学术论文

研究王国俊提出的系统Hα中F（S）的分划问题,利用可达广义重言式的概念给出F（S）的一个关于同余的分划,并给出了各类间的一种升级算法,证......