计算机工程与应用2007，Vol.43Issue(3)：16-18,21,4.
基于零级泛与运算的泛逻辑中广义重言式理论
Generalized tautologies theory of universal logic based on 0-level universal AND operators
摘要
关键词
泛逻辑/广义重言式/零级泛与运算分类
信息技术与安全科学引用本文复制引用
马盈仓,何华灿,薛占熬..基于零级泛与运算的泛逻辑中广义重言式理论[J].计算机工程与应用,2007,43(3):16-18,21,4.基金项目
陕西省教育厅专项科研计划项目(06JK286) （06JK286）
西安工程大学科研基金 （）
河南省自然科学基金资助项目(0611053900). （0611053900）
