"Handbook of Proof Theory (Studies in Logic and the Foundations of Mathematics)" - читать интересную книгу автора (Samuel R Buss)