加载中…
2016-10-13
Arithmetic, Infinite Trees, and Second-order Subsystems: Notes and Observations
David M. Cerna
文献摘要
Work in progress concerning alternative formalizations of arithmetic.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本
Work in progress concerning alternative formalizations of arithmetic.
生成讲解博客的中文版本
生成AI智能校验的中文版本