退出
我的积分:
中文文献批量获取
外文文献批量获取
陈亮; 赵杰;
淮北师范大学 数学科学学院 安徽 淮北 235000;
实数完备性定理; 柯西收敛准则; 区域套定理; 循环证明;
机译:非标准有限结构Ajtai完备性定理的新证明
机译:通过简化为一阶单分类逻辑,简单证明二阶古典和直觉逻辑的完备性定理
机译:实数PCP定理的代数证明
机译:具有整数和实数变量的函数的分离和Fenchel型对偶定理。
机译:可计算性哥德尔不完备性定理以及进化可预测性的固有限制
机译:哥德尔第一个不完备性定理的“真实但无法证明”的简单字符串证明
机译:如何用连词证明第一和第二不完备性定理
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:勾股定理证明的新方法
机译:毕达哥拉斯定理证明难题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。