Bounded arithmetic and constant depth Frege proofs (2004)

by Samuel R Buss
Venue:Dept. Math., Seconda Univ