A Bounded Arithmetic AID for Frege Systems

Cite this paper

@article{Arai2000ABA, title={A Bounded Arithmetic AID for Frege Systems}, author={Toshiyasu Arai}, journal={Ann. Pure Appl. Logic}, year={2000}, volume={103}, pages={155-199} }