Report - Bounded Reverse Mathematics sacook/banff_survey.pdf Subsystems 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