排序方式: 共有1条查询结果,搜索用时 46 毫秒
1
1.
宋契 《河北大学学报(自然科学版)》2000,20(4):323-325
对一种附加量词L(Q)逻辑的一些模型论性质进行了讨论 ,用构造性证明方法证明了完全理论T和模型完全的一些等价条件 ,还给出了完全理论T的一种判定定理 ,为今后对L(Q)逻辑模型论做进一步研究提供了理论基础 相似文献
1