TY  - JOUR
AU  - S. Cavagnetto
TI  - The Lengths of Proofs: Kreisel's conjecture and G\"odel's speed-up theorem
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 2008
SP  - 153
EP  - 188
VL  - 358
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2008_358_a8/
LA  - en
ID  - ZNSL_2008_358_a8
ER  -