The lengths of proofs. To appear (0)

by P Pudlák
Venue:in Handbook of Proof Theory