"Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings" - читать интересную книгу автора (Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk)