...
机译:关于Disquisitiones算术的一个未经证实的定理?
机译:关于封面:高斯和争议者的算术?
机译:超算术分析定理与算术Bolzano-Weierstrass定理的比较
机译:加法算术半群上的Elliott-Daboussi定理的均值定理和扩展
机译:用正向推理测量自动定理发现中定理的趣味性:以Peano算法为例
机译:算术级数的素数定理的详细证明
机译:算术基本定理的模型
机译:完整性定理,不完整定理和算术模型
机译:算术曲面的势理论和Lefschetz定理