On the length of proofs in a formal system of recursive arithmetic (1980)

by T Miyatake
Venue:in Logic Symposia, Hakone, Lecture Notes in Mathematics #891