G. Gentzen: Untersuchungen u''ber das logische Schlies''en.
Math. Zeitschr. 39 (1934), ...

Lutz Heindorf: Elementare Beweistheorie. 
Bibl. Inst. 1995, 200p. 3-411-17161-8. DM 30.

Georg Kreisel: A survey of proof theory.
J. Symb. Logic 33 (1968), ...

Harold Simmons: Derivation and computation.
Cambridge UP 2000, 380p. $70.

5030 W. Pohlers: Beweistheorie. 5028 Chatterji/, 37-62.

18842 Jaikumar Radhakrishnan/Madhu Sudan: On Dinur's proof of the PCP
theorem. Bull. AMS 44/1 (2007), 19-61.

K. Schu''tte: Beweistheorie. Springer 1960.

G. Takeuti: Proof theory. North-Holland 1975.