退出
我的积分:
中文文献批量获取
外文文献批量获取
温邦彦;
中国人民大学,现代逻辑研究所,北京,100875;
自指命题; 自指代命题; 说谎者悖论; 哥德尔定理;
机译:无限的反指代词:E型,动态和结构化命题方法
机译:哥德尔定理:使用和滥用的不完整指南
机译:禁止未成年人的排除网格定理
机译:禁止的住房:1880-1930年(美国),美国城市中旅馆,寄宿房,单间房和寄宿房的演变和排除
机译:可计算性哥德尔不完备性定理以及进化可预测性的固有限制
机译:罗素,哥德尔与骗子:集合论和语义悖论与哥德尔不完全性定理的比较
机译:从多氯联苯(多氯联苯)禁止规则中排除封闭和受控过程的最终规则的经济分析
机译:在系统分析中检查命题逻辑定理的方法和装置
机译:通过将值和规则应用于从布尔公式生成的三元组来确定命题逻辑定理的系统
机译:命题模态逻辑定理证明装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。