(redirected from Subsystems of Second Order Arithmetic)
SOSOASubsystems of Second Order Arithmetic (book; Stephen G. Simpson)
Copyright 1988-2018, All rights reserved.
References in periodicals archive ?
Here papers by specialists discuss some new developments in reverse mathematics and subsystems of second order arithmetic since the 1998 publication of Simpson's (Pennsylvania State U.) Subsystems of Second Order Arithmetic, for which this anthology can be considered a sequel.