On Frege and extended Frege proof systems (1995)

by J Krajcek
Venue:Feasible Mathematics II (Birkhauser