计算机工程与应用2010，Vol.46Issue(29)：56-57,62,3.DOI:10.3778/j.issn.1002-8331.2010.29.016
G(o)del系统中一类子代数上的广义重言式理论
Theory of generalized tautology in class of subalgebras of G(o)del system
摘要
关键词
G(o)del逻辑系统/广义重言式/子代数/分划分类
信息技术与安全科学引用本文复制引用
魏海新..G(o)del系统中一类子代数上的广义重言式理论[J].计算机工程与应用,2010,46(29):56-57,62,3.基金项目
广西壮族自治区教育厅科研基金(No.桂教科研[2006]26号). （No.桂教科研[2006]26号）
