2010-11-09 ■ 入手文献 入手文献 Richard G. Heck Jr. “Ramified Frege Arithmetic,” forthcoming in Journal of Philosophical Logic