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

by Samuel R. Buss
Citations:31 - 3 self