机译:可在Peano算术模型中定义的非标准模型
Peano Arithmetic; definable model; Tennenbaum's theorem;
机译:可在Peano算术模型中定义的非标准模型
机译:Peano算术的Enayat模型
机译:花生算术的幻觉模型
机译:建模和求解不确定的弹性边值问题的区间算法
机译:适当强迫公理在Peano算法模型中的应用
机译:非可无证缺失数据的非无条件指定模型
机译:计算peano算法非标准模型中的问题及其在群体中的应用
机译:审计中的统计模型与分析:审计中非标准分配混合分析的统计模型与方法研究