On the scheme of induction for bounded arithmetic formulas, Annals of Pure and (1987)

by ALEX WILKIE, JEFF PARIS
Venue:DEPARTMENT OF PHILOSOPHY CARNEGIE MELLON UNIVERSITY BAKER HALL 135 PITTSBURGH, PA 15213, USA E-mail: avigad@cmu.edu