"Handbook of Proof Theory " - читать интересную книгу автора (S.R. Buss)