Bounded arithmetic and constant depth Frege proofs (2004)

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