Request file
Review/Citation: CAVAGNETTO, Stefano. The lengths of proofs: Kreisel’s conjecture and Gödel’s speed-up theorem. Journal of Mathematical Sciences. 2009, 158(5), 689-707. ISSN 1072-3374. Available: http://link.springer.com/article/10.1007/s10958-009-9408-0
Requested document: Cavagnetto3.pdf - Publisher’s postprint
The requested document is not available in open access mode. But it is possible to ask the author for a copy of the document through the form below. If your application is accepted, you will receive a document by e - mail.