Year: 1985
Title: Proof Theory and Complexity
Journal: Synthese, 62, 173-189
Comments: Technical article on lengths of proofs. Lists 7 condidates for complexity.
Keywords: PROOFS, LENGTH, COMPLEXITY,
| Top | Authors | Journals | Years | Keywords | Search | New | Comments |