Length and Structure of Proofs

Rohit Parikh. Length and Structure of Proofs. Synthese, 114(1):41-48, 1998. [doi]

Abstract

Abstract is missing.