保持定理相关硕士博士期刊学术论文

向前向后方法是模型论及其应用研究中的一个很重要的工具．一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性，经典模型......