i cek, Interpolation theorems, lower bounds for proof systems and independence results for bounded arithmetic (1994)

by J Kraj'
Venue:Journal of Symbolic Logic