逻辑系统W^—,W,Wk中F（S）的一个分划及其升级算法的性质期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

逻辑系统W^—,W,Wk中F（S）的一个分划及其升级算法的性质

作者姓名：	吴洪博文秋梅

作者单位：	[1]陕西师范大学数学研究所 [2]唐山师范学院数学系

摘要：
关键词：	命题演算可达α^＋－重言式升级算法逻辑系统
本文献已被维普等数据库收录！