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