Repository | Journal | Volume | Articles

COPR BookmarkLink
237683

(1998) Synthese 114 (1).

Length and structure of proofs

Rohit Parikh

pp. 41-48

Publication details

DOI: 10.1023/A:1005050425290

Full citation:

Parikh, R. (1998). Length and structure of proofs. Synthese 114 (1), pp. 41-48.

This document is unfortunately not available for download at the moment.