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

by P Pudlák
Venue:in Logic Colloquium ’84, North-Holland