## An Equivalence between Second Order Bounded Domain Bounded Arithmetic and First Order Bounded Arithmetic (1993)

by
Alexander A. Razborov

Citations: | 29 - 4 self |