Subsystems of second order arithmetic - Simpson Stephen G (Berlin Springer-Verlag, 1999)
Keywords: Mathematical logic