退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于威尔特算术的相干真理的归纳定义
Jeffrey Ketland;
机译:在算术中强制帽子归纳定义
机译:确定性和算术准归纳定义的弱系统
机译:二阶算术片段中的归纳和归纳定义
机译:算术下归纳定义和循环证明的等价
机译:用定义,算术和有限域进行一阶逻辑的证明
机译:自然与神圣真理的结合;或者归纳哲学的研究被认为是神学的从属
机译:赖特对算术相干真相的归纳定义
机译:判断真相的介质,判断真相的介质标签,判断真相的介质传输表,能够判断真相的表以及能够判断真相的信息记录体
机译:真值表制定结果的算术阶段
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。