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