TY  - DATA
AU  - Yamazaki Takeshi
TI  - Model-theoretic studies on subsystems of second order arithmetic
U1  - 511.3 
CY  - March 20002000
KW  - Arithmetic
KW  - Axioms(Mathematics)
KW  - Mathematical logic
N1  - Thesis (Doctor of Science)-Indian Statistical Institute, [nd]
ER  -