Some Results on the Length of Proofs
Transactions of the American Mathematical Society - United States
doi 10.1090/s0002-9947-1973-0432416-x
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1973
Authors
Publisher
American Mathematical Society (AMS)