The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem

From MaRDI portal
Publication:843609

DOI10.1007/S10958-009-9408-0zbMath1207.03071OpenAlexW1992331170WikidataQ123018765 ScholiaQ123018765MaRDI QIDQ843609

S. Cavagnetto

Publication date: 15 January 2010

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-009-9408-0




Related Items (4)




Cites Work




This page was built for publication: The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem