On the length of proofs (1965)

by G odel, K
Venue:In The Undecidable