zbMATH — the first resource for mathematics

Feasibly constructive proofs and the propositional calculus. (English) Zbl 0357.68061
Proc. 7th ann. ACM Symp. Theory Comput., Albuquerque 1975, 83-97 (1975).

68Q25 Analysis of algorithms and problem complexity
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03D60 Computability and recursion theory on ordinals, admissible sets, etc.
03B05 Classical propositional logic