TY  - BOOK
AU  - Yokoyama,Keita
TI  - Standard and non-standard analysis in second order arithmetic
PY  - 2009///
CY  - Sendai, Japan
PB  - Tohoku University
KW  - Mathematics
KW  - Arithmetic
N1  - Thesis(doctoral)-Tohoku University, 2007; Includes bibliogr. references : (p. 127-130)
ER  -