Standard and non-standard analysis in second order arithmetic - Yokoyama, Keita (Sendai, Japan : Tohoku University, 2009)
Thesis(doctoral)-Tohoku University, 2007
Includes bibliogr. references : (p. 127-130)
Keywords: Mathematics; Arithmetic