Stephen simpson subsystems of second order arithmetic July 8, 2019 16 32 64 128 Stephen g simpson subsystems of second order arithmetic
