Length and structure of proofs

DOI10.1023/A:1005050425290zbMath0947.03075MaRDI QIDQ1299774

Rohit Parikh

Publication date: 30 August 1999

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

surveyarithmeticlength of proofsproof speed up

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Complexity of proofs (03F20)

Related Items (2)

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

This page was built for publication: Length and structure of proofs