A bounded arithmetic AID for Frege systems (0)

by Toshiyasu Arai
Venue:Annals of Pure and Applied Logic