On Frege and Extended Frege proof systems (1998)

by Jan Krajcek
Venue:Feasible Mathematics II. Birkhauser