On Frege and Extended Frege Proof Systems (1995)

by J Kraj'icek
Venue:Feasible Mathematics II. Birkh"auser