"Methods of Cut-Elimination (Trends in Logic, 34)" - читать интересную книгу автора (Alexander Leitsch, Matthias Baaz)