On the length of proofs of finitistic consistency statements in first order theories (1986)

by P Pudlák
Venue:In: Logic Colloquium 84. North