×

zbMATH — the first resource for mathematics

On the lengths of proofs in the propositional calculus. Preliminary version. (English) Zbl 0375.02004
Proc. 6th ann. ACM Symp. Theory Comput., Seattle 1974, 135-148 (1974).

MSC:
03B05 Classical propositional logic
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68Q25 Analysis of algorithms and problem complexity
05A99 Enumerative combinatorics