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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha