On the lengths of proofs in the propositional calculus
An edition of On the lengths of proofs in the propositional calculus (1975)
By Robert A. Reckhow
Publish Date
1975
Publisher
Sine nomine
Language
eng
Pages
243
Description:
subjects: Propositional calculus