Axiomatizations and Conservation Results for Fragments of Bounded Arithmetic (1990)

by Samuel R. Buss
Citations:28 - 3 self