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

Cached

Download Links

by Alexander A. Razborov
Citations:28 - 4 self