Bounded Arithmetic and Constant Depth Frege Proofs (2004)

by Samuel R. Buss
Citations:3 - 0 self