On the lengths of proofs in formal systems (1980)

by T Miyatake
Venue:Tsukuba Journal of Mathematics