机译:非标准有限结构Ajtai完备性定理的新证明
Completeness theorem; End-extensions; Computational complexity;
机译:非标准有限结构Ajtai完备性定理的新证明
机译:Daniell–Kolmogorov型定理的简单非标准证明
机译:Daniell-Kolmogorov型定理的简单非标准证明
机译:非标准有限结构的紧性定理和Goedel完备性定理的推广
机译:弱有限基定理的明确证明及其在椭圆曲线秩计算中的应用。
机译:软衬下颌全口义齿及其支撑结构的有限元分析
机译:statman有限完备性定理的另一种证明
机译:关于线性不等式系统完全线性证明的spira定理。