Subsystems of second order arithmetic - Simpson, Stephen G. (Verfasser); Association for Symbolic Logic (Perspectives in logic, 2009)