On the lengths of proofs in the propositional calculus

An edition of On the lengths of proofs in the propositional calculus (1975)

On the lengths of proofs in the propositional calculus

By Robert A. Reckhow

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1975

Publisher

Sine nomine

Language

eng

Pages

243

Description:

subjects: Propositional calculus