Are There Hard Examples for Frege Proof Systems? (1995)

by Maria Luisa Bonet , Samuel R. Buss , Toniann Pitassi
Citations:1 - 0 self