Pudlák: Propositional proof systems, the consistency of first order theories and the complexity of computations (1989)

by J Krajíček, P
Venue:Journ. of Symbolic Logic