TY  - BOOK
AU  - Simpson, Stephen G.
TI  - Subsystems of Second Order Arithmetic : (PML)
SN  - 3 540 64882 8
CY  - Berlin
KW  - Arithmetic
ER  -