The number of proof lines and the size of proofs in first order logic
- 1 March 1988
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 27 (1) , 69-84
- https://doi.org/10.1007/bf01625836
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The undecidability of the second-order unification problemTheoretical Computer Science, 1981
- On the length of proofs in a formal systemsTsukuba Journal of Mathematics, 1980
- Bounds for proof-search and speed-up in the predicate calculusAnnals of Mathematical Logic, 1978
- Some results on the length of proofsTransactions of the American Mathematical Society, 1973