S.R. Buss Handbook of Proof Theory (Hardback) (UK IMPORT) A nice touch in this textbook is the tear-out reference card for exams.
