Report copyright - Bounded Reverse Mathematicssacook/banff_survey.pdfSubsystems of Second Order Arithmetic [Sim99] Goal of Reverse Mathematics \Given a theorem ˝of ordinary mathematics, what is the
Please pass captcha verification before submit form