Some results on the length of proofs (1973)

by R J Parikh
Venue:Transactions of the American Mathematical Society