"Proof Theory. An Introduction" - читать интересную книгу автора (Wolfram Pohlers, Pohlers)