退出
我的积分:
中文文献批量获取
外文文献批量获取
郭锋;
哥德尔不完备性定理; 形式系统; 闭公式; 公理系统; 变形规则; 无矛盾性; 合式公式; 自由变元; 相对独立; 推理规则;
机译:哥德尔的不完备性定理及其适用范围。一世
机译:非标准有限结构Ajtai完备性定理的新证明
机译:通过简化为一阶单分类逻辑,简单证明二阶古典和直觉逻辑的完备性定理
机译:非标准有限结构的紧性定理和Goedel完备性定理的推广
机译:完备定理和计算机程序,用于寻找从给定轴可推导的定理
机译:可计算性哥德尔不完备性定理以及进化可预测性的固有限制
机译:哥德尔第一个不完备性定理的“真实但无法证明”的简单字符串证明
机译:如何用连词证明第一和第二不完备性定理
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:通过机械剥离过程快速合成功能完备的功能性石墨烯的系统和方法
机译:勾股定理证明的新方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。