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

by P Pudlak
Venue:in: J.B. Paris et al., eds, Logic Colloquium ’84 North-Holland