Simpson, Stephen G.
Subsystems of Second Order Arithmetic : (PML) - Berlin Springer 1999 - 444 - Perspectives in Mathematical Logic .
3 540 64882 8
Arithmetic
510.6 SIM
Subsystems of Second Order Arithmetic : (PML) - Berlin Springer 1999 - 444 - Perspectives in Mathematical Logic .
3 540 64882 8
Arithmetic
510.6 SIM