Journal | Volume | Article

COPR Bookmark Link
237688

Length and structure of proofs

Rohit Parikh

pp. 41-48

Publication details

Published in:

(1998) Synthese 114 (1).

Pages: 41-48

DOI: 10.1023/A:1005050425290

Full citation:

Parikh Rohit (1998) „Length and structure of proofs“. Synthese 114 (1), 41–48.