Add link to The Development of Proof Theory.