"Proof Theory in Computer Science, PTCS 2001" - читать интересную книгу автора (Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk)