机译:Peano算术中数字的最短定义
recusive function; 1-complete; peano arithmetic;
机译:Peano算术中数字的最短定义
机译:Peano算术中的建设性真理和虚伪
机译:PEANO曲线的算术分析表示
机译:循环算术等效于Peano算术
机译:适当强迫公理在Peano算法模型中的应用
机译:Langer-Giedion综合征中最短缺失区域重叠的分子定义
机译:算术与两个双胞胎算术和集合理论的关系:从信息理论中的新一瞥
机译:霍尔的逻辑与皮亚诺的算术