"Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)" - читать интересную книгу автора (Jean-Yves Girard)