×

zbMATH — the first resource for mathematics

Bounds for proof-search and speed-up in the predicate calculus. (English) Zbl 0411.03047

MSC:
03F20 Complexity of proofs
03F05 Cut-elimination and normal-form theorems
03B10 Classical first-order logic
PDF BibTeX XML Cite
Full Text: DOI