"Proof Theory: The First Step into Impredicativity" - читать интересную книгу автора (Wolfram Pohlers)