On the lengths of proofs in the propositional calculus
Contributors: Toronto, Ont. University.
Publisher: s.n.]
Published: 1975
Place of publication: [Toronto?
Language: eng
Number of pages: 243
Subjects: Propositional calculus
Notes: Thesis--University of Toronto.

Vita.

Bibliography: p. 238-243.