On Frege and Extended Frege Proof Systems (1995)

by Jan Krajíček
Venue:University of Toronto