## Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic

by
Jan Krajícek

Citations: | 91 - 4 self |