"The collected papers of Gerhard Gentzen" - читать интересную книгу автора (Gerhard Gentzen)