陕西师范大学学报（自然科学版）2005，Vol.33Issue(2)：9-12,17,5.
关于形式系统(L)*(强)完备性证明的注记
Notes on proving of (strong) completeness theorem of (L)*
摘要
关键词
(L)*系统/完备性/强否定/广义重言式/不动点分类
数理科学引用本文复制引用
韩诚,周红军..关于形式系统(L)*(强)完备性证明的注记[J].陕西师范大学学报（自然科学版）,2005,33(2):9-12,17,5.基金项目
国家自然科学基金资助项目(90207015) （90207015）
