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

by
Alexander A. Razborov

Citations: | 28 - 4 self |