The number of proof lines and the size of proofs in first-order logic. Archive for Mathematical Logic (1988)

by J Krajicek, P Pudlak