Report - Bounded Arithmetic, Constant Depth Proofs, and st …sbuss/ResearchWeb/stFregeVIG/talkslides.pdf · (polynomial local search) ... Proof idea was to the use conservativity of S2 2

Please pass captcha verification before submit form